document.write("9842 ");