document.write("6920 ");