a1 = "spring" a2 = "summer" a3 = "fall" a4 = "winter" a = { a4, a4, a1, a1, a1, a2, a2, a2, a3, a3, a3, a4 } print(a[io.read("*n")])