document.write ('7671');