//借鉴思路
#include<iostream>
#include<cstdio>
using namespace std;
int main()
{
    int a[]={61,71,11,21,32,19,27,31};
    string b[]={"Brasilia","Salvador","Sao Paulo","Rio de Janeiro","Juiz de Fora","Campinas","Vitoria","Belo Horizonte"};
    int x,i;
    cin>>x;
    string y="DDD nao cadastrado";
    for(i=0;i<8;i++)
    {
        if(x==a[i]){
            y=b[i];
            break;  
        }
    }

    cout<<y<<endl;
    return 0;
}