Neo works as a computer technician and is usually paid $12.50 an hour. In one week he worked 35 hours normal time and 10 hours overtime for which he was paid double time. Calculate his pay for that week.