document.write ("9842");