document.write ('5012');