document.write ("4872 ");