stdin.ReadLine ()
|> fun s -> s.Split ' '
|> Seq.map int
|> Seq.sum
|> printfn "%d"