constant
TEXTURE31

int TEXTURE31 = 0x84DF

(Not documented.)