document.write("6312 ");