#include <iostream>
using namespace std;
int main()
{
string city[9] = {"Brasilia", "Salvador", "Sao Paulo", "Rio de Janeiro", "Juiz de Fora", "Campinas", "Vitoria", "Belo Horizonte", "DDD nao cadastrado"};
int num[8] = {61, 71, 11, 21, 32, 19, 27, 31};
int k = 0, u;
cin >> u;
for(int i = 0; i < 8; i++, k++)
{
if(u == num[i])
break;
}
cout << city[k] << endl;
}