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