fun readInt () = valOf (TextIO.scanStream (Int.scan StringCvt.DEC) TextIO.stdIn) fun readLine () = valOf (TextIO.inputLine TextIO.stdIn) fun printAns [] = ignore () | printAns (h :: tl) = let val tokens = String.tokens (fn ch => Char.isSpace ch) h val n = valOf (Int.fromString (List.nth (tokens, 2))) in ( print "Hitsuji ga "; print (Int.toString (n + 1)); print " hiki\n"; printAns tl ) end val () = let val t = readInt () val _ = readLine () val inputs = List.tabulate (t, fn _ => readLine ()) in printAns inputs end