document.write("8942 ");