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