document.write ("4880 ")