Predecesorul numărului 9000 este: