using System;

public class Program

{

        public enum County

    {

        Florida_Alachua = 1,

        Florida_Baker = 2,

        Florida_Bay = 3,

        Florida_Bradford = 4,

        Florida_Brevard = 5,

        Florida_Broward = 6,

        Florida_Calhoun = 7,

        Florida_Charlotte = 8,

        Florida_Citrus = 9,

        Florida_Clay = 10,

        Florida_Collier = 11,

        Florida_Columbia = 12,

        Florida_MiamiDade = 13,

        Florida_Desoto = 14,

        Florida_Dixie = 15,

        Florida_Duval = 16,

        Florida_Escambia = 17,

        Florida_Flagler = 18,

        Florida_Franklin = 19,

        Florida_Gadsden = 20,

        Florida_Gilchrist = 21,

        Florida_Glades = 22,

        Florida_Gulf = 23,

        Florida_Hamilton = 24,

        Florida_Hardee = 25,

        Florida_Hendry = 26,

        Florida_Hernando = 27,

        Florida_Highlands = 28,

        Florida_Hillsborough = 29,

        Florida_Holmes = 30,

        Florida_IndianRiver = 31,

        Florida_Jackson = 32,

        Florida_Jefferson = 33,

        Florida_Lafayette = 34,

        Florida_Lake = 35,

        Florida_Lee = 36,

        Florida_Leon = 37,

        Florida_Levy = 38,

        Florida_Liberty = 39,

        Florida_Madison = 40,

        Florida_Manatee = 41,

        Florida_Monroe = 42,

        Florida_Marion = 43,

        Florida_Martin = 44,

        Florida_Nassau = 45,

        Florida_Okaloosa = 46,

        Florida_Okeechobee = 47,

        Florida_Orange = 48,

        Florida_Osceola = 49,

        Florida_PalmBeach = 50,

        Florida_Pasco = 51,

        Florida_Pinellas = 52,

        Florida_Polk = 53,

        Florida_Putnam = 54,

        Florida_SantaRosa = 55,

        Florida_Sarasota = 56,

        Florida_Seminole = 57,

        Florida_StJohns = 58,

        Florida_StLucie = 59,

        Florida_Sumter = 60,

        Florida_Suwannee = 61,

        Florida_Taylor = 62,

        Florida_Union = 63,

        Florida_Volusia = 64,

        Florida_Wakulla = 65,

        Florida_Walton = 66,

        Florida_Washington = 67,

        Arizona_Apache = 68,

        Arizona_Cochise = 69,

        Arizona_Coconino = 70,

        Arizona_Gila = 71,

        Arizona_Graham = 72,

        Arizona_Greenlee = 73,

        Arizona_LaPaz = 74,

        Arizona_Maricopa = 75,

        Arizona_Mohave = 76,

        Arizona_Navajo = 77,

        Arizona_Pima = 78,

        Arizona_Pinal = 79,

        Arizona_SantaCruz = 80,

        Arizona_Yavapai = 81,

        Arizona_Yuma = 82,

        Oklahoma_Adair = 160,

        Oklahoma_Alfalfa = 161,

        Oklahoma_Atoka = 162,

        Oklahoma_Beaver = 163,

        Oklahoma_Beckham = 164,

        Oklahoma_Blaine = 165,

        Oklahoma_Bryan = 166,

        Oklahoma_Caddo = 167,

        Oklahoma_Canadian = 168,

        Oklahoma_Carter = 169,

        Oklahoma_Cherokee = 170,

        Oklahoma_Choctaw = 171,

        Oklahoma_Cimarron = 172,

        Oklahoma_Cleveland = 173,

        Oklahoma_Coal = 174,

        Oklahoma_Comanche = 175,

        Oklahoma_Cotton = 176,

        Oklahoma_Craig = 177,

        Oklahoma_Creek = 178,

        Oklahoma_Custer = 179,

        Oklahoma_Delaware = 180,

        Oklahoma_Dewey = 181,

        Oklahoma_Ellis = 182,

        Oklahoma_Garfield = 183,

        Oklahoma_Garvin = 184,

        Oklahoma_Grady = 185,

        Oklahoma_Grant = 186,

        Oklahoma_Greer = 187,

        Oklahoma_Harmon = 188,

        Oklahoma_Harper = 189,

        Oklahoma_Haskell = 190,

        Oklahoma_Hughes = 191,

        Oklahoma_Jackson = 192,

        Oklahoma_Jefferson = 193,

        Oklahoma_Johnston = 194,

        Oklahoma_Kay = 195,

        Oklahoma_Kingfisher = 196,

        Oklahoma_Kiowa = 197,

        Oklahoma_Latimer = 198,

        Oklahoma_LeFlore = 199,

        Oklahoma_Lincoln = 200,

        Oklahoma_Logan = 201,

        Oklahoma_Love = 202,

        Oklahoma_McClain = 203,

        Oklahoma_McCurtain = 204,

        Oklahoma_McIntosh = 205,

        Oklahoma_Major = 206,

        Oklahoma_Marshall = 207,

        Oklahoma_Mayes = 208,

        Oklahoma_Murray = 209,

        Oklahoma_Muskogee = 210,

        Oklahoma_Noble = 211,

        Oklahoma_Nowata = 212,

        Oklahoma_Okfuskee = 213,

        Oklahoma_Oklahoma = 214,

        Oklahoma_Okmulgee = 215,

        Oklahoma_Osage = 216,

        Oklahoma_Ottawa = 217,

        Oklahoma_Pawnee = 218,

        Oklahoma_Payne = 219,

        Oklahoma_Pittsburg = 220,

        Oklahoma_Pontotoc = 221,

        Oklahoma_Pottawatomie = 222,

        Oklahoma_Pushmataha = 223,

        Oklahoma_RogerMills = 224,

        Oklahoma_Rogers = 225,

        Oklahoma_Seminole = 226,

        Oklahoma_Sequoyah = 227,

        Oklahoma_Stephens = 228,

        Oklahoma_Texas = 229,

        Oklahoma_Tillman = 230,

        Oklahoma_Tulsa = 231,

        Oklahoma_Wagoner = 232,

        Oklahoma_Washington = 233,

        Oklahoma_Washita = 234,

        Oklahoma_Woods = 235,

        Oklahoma_Woodward = 236,

        Texas_Anderson = 237,

        Texas_Andrews = 238,

        Texas_Angelina = 239,

        Texas_Aransas = 240,

        Texas_Archer = 241,

        Texas_Armstrong = 242,

        Texas_Atascosa = 243,

        Texas_Austin = 244,

        Texas_Bailey = 245,

        Texas_Bandera = 246,

        Texas_Bastrop = 247,

        Texas_Baylor = 248,

        Texas_Bee = 249,

        Texas_Bell = 250,

        Texas_Bexar = 251,

        Texas_Blanco = 252,

        Texas_Borden = 253,

        Texas_Bosque = 254,

        Texas_Bowie = 255,

        Texas_Brazoria = 256,

        Texas_Brazos = 257,

        Texas_Brewster = 258,

        Texas_Briscoe = 259,

        Texas_Brooks = 260,

        Texas_Brown = 261,

        Texas_Burleson = 262,

        Texas_Burnet = 263,

        Texas_Caldwell = 264,

        Texas_Calhoun = 265,

        Texas_Callahan = 266,

        Texas_Cameron = 267,

        Texas_Camp = 268,

        Texas_Carson = 269,

        Texas_Cass = 270,

        Texas_Castro = 271,

        Texas_Chambers = 272,

        Texas_Cherokee = 273,

        Texas_Childress = 274,

        Texas_Clay = 275,

        Texas_Cochran = 276,

        Texas_Coke = 277,

        Texas_Coleman = 278,

        Texas_Collin = 279,

        Texas_Collingsworth = 280,

        Texas_Colorado = 281,

        Texas_Comal = 282,

        Texas_Comanche = 283,

        Texas_Concho = 284,

        Texas_Cooke = 285,

        Texas_Coryell = 286,

        Texas_Cottle = 287,

        Texas_Crane = 288,

        Texas_Crockett = 289,

        Texas_Crosby = 290,

        Texas_Culberson = 291,

        Texas_Dallam = 292,

        Texas_Dallas = 293,

        Texas_Dawson = 294,

        Texas_DeafSmith = 295,

        Texas_Delta = 296,

        Texas_Denton = 297,

        Texas_DeWitt = 298,

        Texas_Dickens = 299,

        Texas_Dimmit = 300,

        Texas_Donley = 301,

        Texas_Duval = 302,

        Texas_Eastland = 303,

        Texas_Ector = 304,

        Texas_Edwards = 305,

        Texas_ElPaso = 306,

        Texas_Ellis = 307,

        Texas_Erath = 308,

        Texas_Falls = 309,

        Texas_Fannin = 310,

        Texas_Fayette = 311,

        Texas_Fisher = 312,

        Texas_Floyd = 313,

        Texas_Foard = 314,

        Texas_FortBend = 315,

        Texas_Franklin = 316,

        Texas_Freestone = 317,

        Texas_Frio = 318,

        Texas_Gaines = 319,

        Texas_Galveston = 320,

        Texas_Garza = 321,

        Texas_Gillespie = 322,

        Texas_Glasscock = 323,

        Texas_Goliad = 324,

        Texas_Gonzales = 325,

        Texas_Gray = 326,

        Texas_Grayson = 327,

        Texas_Gregg = 328,

        Texas_Grimes = 329,

        Texas_Guadalupe = 330,

        Texas_Hale = 331,

        Texas_Hall = 332,

        Texas_Hamilton = 333,

        Texas_Hansford = 334,

        Texas_Hardeman = 335,

        Texas_Hardin = 336,

        Texas_Harris = 337,

        Texas_Harrison = 338,

        Texas_Hartley = 339,

        Texas_Haskell = 340,

        Texas_Hays = 341,

        Texas_Hemphill = 342,

        Texas_Henderson = 343,

        Texas_Hidalgo = 344,

        Texas_Hill = 345,

        Texas_Hockley = 346,

        Texas_Hood = 347,

        Texas_Hopkins = 348,

        Texas_Houston = 349,

        Texas_Howard = 350,

        Texas_Hudspeth = 351,

        Texas_Hunt = 352,

        Texas_Hutchinson = 353,

        Texas_Irion = 354,

        Texas_Jack = 355,

        Texas_Jackson = 356,

        Texas_Jasper = 357,

        Texas_JeffDavis = 358,

        Texas_Jefferson = 359,

        Texas_JimHogg = 360,

        Texas_JimWells = 361,

        Texas_Johnson = 362,

        Texas_Jones = 363,

        Texas_Karnes = 364,

        Texas_Kaufman = 365,

        Texas_Kendall = 366,

        Texas_Kenedy = 367,

        Texas_Kent = 368,

        Texas_Kerr = 369,

        Texas_Kimble = 370,

        Texas_King = 371,

        Texas_Kinney = 372,

        Texas_Kleberg = 373,

        Texas_Knox = 374,

        Texas_LaSalle = 375,

        Texas_Lamar = 376,

        Texas_Lamb = 377,

        Texas_Lampasas = 378,

        Texas_Lavaca = 379,

        Texas_Lee = 380,

        Texas_Leon = 381,

        Texas_Liberty = 382,

        Texas_Limestone = 383,

        Texas_Lipscomb = 384,

        Texas_LiveOak = 385,

        Texas_Llano = 386,

        Texas_Loving = 387,

        Texas_Lubbock = 388,

        Texas_Lynn = 389,

        Texas_Madison = 390,

        Texas_Marion = 391,

        Texas_Martin = 392,

        Texas_Mason = 393,

        Texas_Matagorda = 394,

        Texas_Maverick = 395,

        Texas_McCulloch = 396,

        Texas_McLennan = 397,

        Texas_McMullen = 398,

        Texas_Medina = 399,

        Texas_Menard = 400,

        Texas_Milam = 401,

        Texas_Mills = 402,

        Texas_Mitchell = 403,

        Texas_Montague = 404,

        Texas_Montgomery = 405,

        Texas_Moore = 406,

        Texas_Morris = 407,

        Texas_Motley = 408,

        Texas_Nacogdoches = 409,

        Texas_Navarro = 410,

        Texas_Newton = 411,

        Texas_Nolan = 412,

        Texas_Nueces = 413,

        Texas_Ochiltree = 414,

        Texas_Oldham = 415,

        Texas_Orange = 416,

        Texas_PaloPinto = 417,

        Texas_Panola = 418,

        Texas_Parker = 419,

        Texas_Parmer = 420,

        Texas_Pecos = 421,

        Texas_Polk = 422,

        Texas_Potter = 423,

        Texas_Presidio = 424,

        Texas_Rains = 425,

        Texas_Randall = 426,

        Texas_Reagan = 427,

        Texas_Real = 428,

        Texas_RedRiver = 429,

        Texas_Reeves = 430,

        Texas_Refugio = 431,

        Texas_Roberts = 432,

        Texas_Robertson = 433,

        Texas_Rockwall = 434,

        Texas_Runnels = 435,

        Texas_Rusk = 436,

        Texas_Sabine = 437,

        Texas_SanAugustine = 438,

        Texas_SanJacinto = 439,

        Texas_SanPatricio = 440,

        Texas_SanSaba = 441,

        Texas_Schleicher = 442,

        Texas_Scurry = 443,

        Texas_Shackelford = 444,

        Texas_Shelby = 445,

        Texas_Sherman = 446,

        Texas_Smith = 447,

        Texas_Somervell = 448,

        Texas_Starr = 449,

        Texas_Stephens = 450,

        Texas_Sterling = 451,

        Texas_Stonewall = 452,

        Texas_Sutton = 453,

        Texas_Swisher = 454,

        Texas_Tarrant = 455,

        Texas_Taylor = 456,

        Texas_Terrell = 457,

        Texas_Terry = 458,

        Texas_Throckmorton = 459,

        Texas_Titus = 460,

        Texas_TomGreen = 461,

        Texas_Travis = 462,

        Texas_Trinity = 463,

        Texas_Tyler = 464,

        Texas_Upshur = 465,

        Texas_Upton = 466,

        Texas_Uvalde = 467,

        Texas_ValVerde = 468,

        Texas_VanZandt = 469,

        Texas_Victoria = 470,

        Texas_Walker = 471,

        Texas_Waller = 472,

        Texas_Ward = 473,

        Texas_Washington = 474,

        Texas_Webb = 475,

        Texas_Wharton = 476,

        Texas_Wheeler = 477,

        Texas_Wichita = 478,

        Texas_Wilbarger = 479,

        Texas_Willacy = 480,

        Texas_Williamson = 481,

        Texas_Wilson = 482,

        Texas_Winkler = 483,

        Texas_Wise = 484,

        Texas_Wood = 485,

        Texas_Yoakum = 486,

        Texas_Young = 487,

        Texas_Zapata = 488

    }

    public static void Main()

    {

        Console.WriteLine("Hello World");

    }

}