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