document.write("4880 ");