document.write(' [1950/19]');