document.write ('7934');