document.write("6933 ");