stdin.ReadLine().Split " " |> Array.map int |> Array.sum |> printfn "%d"