Пачка сливочного масла стоит 80 рублей. Пенсионерам магазин делает скидку 5%. Сколько рублей стоит пачка масла для пенсионера?