9,472 coins