document.write ("17500");