int F12 = 123

Not documented.