Domingo earns $13 dollars per hour and worked 47.5 hours that week. He is paid
double time for all hours worked over 40 hours in one week. What is his gross pay
for the week?