The city parks department had 13 tons of gravel. Then they used 11/38 tones to cover the trails in neighborhood parks. How much gravel did the City Parks Department have left after they covered the trails.