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