Michael swipes his debit card for $17.25 on the purchase of 4 identical bags of potato chips. How much does a bag of potato chips cost?