a clerk is paid $45.25 per hours for 40 hours a week, 1.50 times the regular rate of overtime and double the rate for a holiday. How much does the clerk get if he works overtime for 5 hours and 2 hours on holidays?