System.Console.ReadLine()
|> printfn "%s"