Перекрёстный курс евро

Известно, что один доллар стоит $80$ рублей, а один евро стоит $100$ рублей. Сколько долларов стоит один евро?