9,639 coins