document.write ('7900');