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