document.write ('5671');