7,500 coins