document.write(' [1269/642]');