stdin.ReadLine()
    |> Seq.map (int >> ((^^^)0x20) >> char >> string)
    |> Seq.reduce ((+))
    |> printfn "%A"