12,250 coins