document.write ('12671');