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