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