document.write(' [1982/840]');