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