9,508 coins