#Author: <NAME>

ddd = int(input())

if ddd == 61:
  print("Brasilia")
if ddd == 71:
  print("Salvador")
if ddd ==11:
  print("Sao Paulo")
if( ddd == 21 ):
  print("Rio de Janeiro")
if ( ddd ==32 ):
  print("Juiz de Fora")
if ( ddd ==19 ):
  print("Campinas")
if( ddd ==27 ):
  print("Vitoria")
if( ddd ==31 ):
  print("Belo Horizonte")
if ((ddd != 61) and  (ddd != 71) and (ddd != 11) and (ddd != 21) and (ddd != 32) and (ddd != 19) and (ddd != 27) and (ddd != 31)):
  print("DDD nao cadastrado")
#Author: <NAME>

ddd = int(input())

if ddd == 61:
  print("Brasilia")
if ddd == 71:
  print("Salvador")
if ddd ==11:
  print("Sao Paulo")
if( ddd == 21 ):
  print("Rio de Janeiro")
if ( ddd ==32 ):
  print("Juiz de Fora")
if ( ddd ==19 ):
  print("Campinas")
if( ddd ==27 ):
  print("Vitoria")
if( ddd ==31 ):
  print("Belo Horizonte")
if ((ddd != 61) and  (ddd != 71) and (ddd != 11) and (ddd != 21) and (ddd != 32) and (ddd != 19) and (ddd != 27) and (ddd != 31)):
  print("DDD nao cadastrado")
#Author: <NAME>