ddd = ['Brasilia', 'Salvador', 'Sao Paulo', 'Rio de Janeiro', 'Juiz de Fora', 'Campinas', 'Vitoria', 'Belo Horizonte']
n = int(input())
if n == 61:
    print('{}'.format(ddd[0]))
elif n == 71:
    print('{}'.format(ddd[1]))
elif n == 11:
    print('{}'.format(ddd[2]))
elif n == 21:
    print('{}'.format(ddd[3]))
elif n == 32:
    print('{}'.format(ddd[4]))
elif n == 19:
    print('{}'.format(ddd[5]))
elif n == 27:
    print('{}'.format(ddd[6]))
elif n == 31:
    print('{}'.format(ddd[7]))
else:
    print('DDD nao cadastrado')