document.write ('12047')