document.write ("4930 ");