I have £1.88 in my pocket. All the coins are different. I take one out. What is the probability that I have taken out a 20p coin?