document.write("4930 ");