6,250 coins