Andy has 13 coins made up of quarters and half dollars, and their total
value is $5.00. How many quarters does he have?