document.write ('9693');