Tickets numbered 1 to 20 are mixed up and then a ticket is drawn at random. What is the probability