129,712 coins