document.write("6942 ");