Тетрадь стоит 13 рублей. Сколько рублей заплатит покупатель за 40 тетрадей, если при покупке больше 30 тетрадей магазин делает скидку 10% от стоимости всей покупки?