public static void Main()
int ddd = Convert.ToInt32(Console.ReadLine());
Console.WriteLine("Brasilia");
Console.WriteLine("Salvador");
Console.WriteLine("Sao Paulo");
Console.WriteLine("Rio de Janeiro");
Console.WriteLine("Juiz de Fora");
Console.WriteLine("Campinas");
Console.WriteLine("Vitoria");
Console.WriteLine("Belo Horizonte");
Console.WriteLine("DDD nao cadastrado");