document.write ("7900 ");