Да, сейчас отчётливо вспомнил, что его заменили. Всё-таки 20 лет прошло, не мудрено, что кое-что подстёрлось из памяти ( какие-то детали). Тем более, когда вспоминаешь навскидку. :(
