File standardInput readLines slice(1)map(v,writeln(v," "," January February March April May June July August September October  December"split at(v asNumber)))