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