document.write("5880 ");