A Random Number, Between 15 and 20

A random number, between 15 and 20, is 17.