TEXTURE25 = RenderingContext.TEXTURE25

Source

const int TEXTURE25 = RenderingContext.TEXTURE25