document.write ('9842');