int TEXTURE31 = 0x84DF