document.write ('7943');