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