At a temperature of 25 degrees C, the resistances of a type of thermistor are normally distributed with a mean of 10,000, ohms and a standard deviation of 4,000 ohms. The thermistors are to be sorted with those having resistances between 8000 and 15,000 ohms being shipped to a vendor. What fraction of these thermistors will be shipped?