7,900 coins