document.write ("7400 ");