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