document.write("6174 ");