Yeah, 25,000, but no lighting enthusiast believes LED will ever reach the stated hours given to them anyway, 16 K is a pretty good figure, and sadly its always the driver that gives in first, or they would be able to exceed this.
There is LED that go way over their stated hours, and I’m in the process of logging all the hours each lamp achieves that I have in service, so far my Energetic Mini Globe is winning!