document.write ("9500");