Therese, an outside salesperson, uses her car for both business and pleasure. Last year, she traveled 30,000 miles, using 900 gallons of gasoline. Her car gets 40 miles per gallon on the highway and 25 in the city. She can deduct all highway travel, but no city travel, on her taxes. How many miles should Therese deduct as a business expense?