Assume that a normal distribution of the data has a mean of 25 and a standard deviation of 5. Find the probability of P(x > 25) Round your answer to 4 decimals.