document.write(' [12378/3462]');