document.write("6707 ");