document.write ('9312');