Suppose that the amount of time individuals spend watching Netflix follows a normal distribution with a mean of 15 (hours per week) and a variance of 12.25 (hours per week-squared). What is the probability that a randomly selected individual watches more than 12 hours of Netflix per week? Express your answer as the decimal equivalent of a probability rounded to four decimal places