document.write ('7312');