Suppose that the time required to fill out 1040R tax form is normally distributed with a mean of 100 minutes and a standard deviation of 15 minutes. What proportion of 1040R tax forms will be completed in at most 73 minutes? Round your answer to at least four decimal places.