fun readStr () = let fun scan reader stream = SOME (StringCvt.splitl (not o Char.isSpace) reader (StringCvt.skipWS reader stream)) in valOf (TextIO.scanStream scan TextIO.stdIn) end val () = let val s = readStr () val final = String.substring (s, String.size s - 2, 2) val ans = if final = "ai" then String.substring (s, 0, String.size s - 2) ^ "AI" else s ^ "-AI" in print (ans ^ "\n") end