document.write ('6774');