# -*- coding: utf-8 -*-

line = int(input())

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