A Random Number, Between 7 and 12

A random number, between 7 and 12, is 10.