int TEXTURE12 = 0x84CC