document.write ('4246');