A Random Number, Between 7 and 20

A random number, between 7 and 20, is 9.