fun readInt () = valOf (TextIO.scanStream (Int.scan StringCvt.DEC) TextIO.stdIn) val () = let val n = readInt () val ans = if n = 1 then "Shiitakerando" else if n = 2 then "Otsukakokusaibijutsukan" else "Spring-8" in print (ans ^ "\n") end