A random variable has a lognormal distribution with mean 10 and variance 4. Calculate the probability that the variable will take a value between 7.5 and 12.5.