document.write(' [5756/4883]');