7,015 coins