5,012 coins