document.write("5112 ");