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