document.write ('7679');