Утюг подорожал на 15 %, после чего он стал стоить 7475 рублей. Сколько рублей стоил утюг до подорожания?