Чайник подорожал на 5 %, после чего он стал стоить 4935 рублей. Сколько рублей стоил чайник до подорожания?