TEXTURE31 constant

int TEXTURE31 = 0x84DF