Магазин делает пенсионерам скидку. Десяток яиц стоит в магазине 65 рублей, а пенсионер заплатил за них 55 рублей 25 копеек. Сколько процентов составила скидка для пенсионера?