document.write ('4271');