document.write(' [1242/1]');