9,164 coins