Кофеварку на распродаже уценили на 15%, при этом она стала стоить 5100 рублей. Сколько рублей стоила кофеварка до распродажи?