The weight of football players is normally distributed with a mean of 200 pounds and a standard deviation of 25 pounds. The probability of a player weighing more than 241.25 pounds is?