stdin.ReadLine () |> ignore
(stdin.ReadLine ()).Split ' '
    |> Seq.map int64
    |> Seq.sum
    |> printfn "%d"