document.write ("9500")