A Random Number, Between 7 and 15

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