document.write("6171 ");