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