document.write ('6312');