document.write ('9642');