Nope. You are right. 11000, 11001 and 12582 are still actively used