A car rental agency charges TK.2,000 a day plus TK.10 per mile for its rental cars. What is the total cost of traveling a total of 400 miles in 4 days in a car rented from this agency ?