document.write("5912 ");