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