What would you do if you got a double payout from an ATM?