#include <cstdio>

int main()
{
	int a;

	scanf("%i", &a);

	if(a == 61){
		printf("Brasilia\n");
	}else if(a == 71){
		printf("Salvador\n");
	}else if(a == 11){
		printf("Sao Paulo\n");
	}else if(a == 21){
		printf("Rio de Janeiro\n");
	}else if(a == 32){
		printf("Juiz de Fora\n");
	}else if(a == 19){
		printf("Campinas\n");
	}else if(a == 27){
		printf("Vitoria\n");
	}else if(a == 31){
		printf("Belo Horizonte\n");
	}else{
		printf("DDD nao cadastrado\n");
	}

	return 0;
}