constant
TEXTURE12

int TEXTURE12 = 0x84CC

(Not documented.)