document.write ('7940');