document.write(' [2974/72]');