document.write("5412 ");