document.write ('6934');