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