8,015 coins