20,175 coins