URI 1050

a = int(input())
if a == 61:
    print("Brasilia")
elif a == 71:
    print("Salvador")
elif a == 11:
    print("Sao Paulo")
elif a == 21:
    print("Rio de Janeiro")
elif a == 32:
    print("Juiz de Fora")
elif a == 19:
    print("Campinas")
elif a == 27:
    print("Vitoria")
elif a == 31:
    print("Belo Horizonte")
else:
    print("DDD nao cadastrado")