stdin.ReadLine()
    |> Seq.map (int >> ((^^^)0x20) >> char)
    |> Seq.iter (printf "%c")