Mr. Garcia is paid $10 an hour for a 35 – hours week and $15 an hour for overtime. In a week in which he is paid $395, the number of hours overtime he worked was