document.write ("9700");