В городе 80 000 жителей, причём 45 % из них — $—$ пенсионеры. Сколько пенсионеров в этом городе?