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