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