So this equals 15 over 64. What's the probability that we picked a fair coin? Well, there's 15 coins, and 5 of them are fair, so it's 5 out of 15, so it's 1 third. And what's the probability that, in general, we picked 4 out of 6 heads? Well, that's this number, 0.241965. So this equals, let's see, this is equal to 5 over 64 divided by 0.241965. And what is that equal to?