Диван на распродаже уценили на 45%,при этом он стал стоить 9999 рублей.Сколько рублей стоил диван до распродажи?