document.write(' [987/12]');