According to a recent survey,the salaries of assistant professors have a mean of $40756 and a standard deviation of $6500. Assuming that the salaries of assistant professors follow a normal distribution, find the proportion of assistant professors who earn more than $42000. Round your answer to at least four decimal places.