document.write ("4945 ");