12,900 coins