document.write ('9506');