document.write(' [2493/957]');