document.write(' [6202/1253]');