The sum of independent normally distributed random variables is normally distributed with mean equal to the sum of the individual means and variance equal to the sum of the individual variances. If X is the sum of two independent normally distributed random variables with respective means 100 and 200 and respective standard deviations 15 and 25, the probability that X is between 280 and 315 is closest to which of the following?