document.write ('7246');