let doIt () = let L = stdin.ReadLine () |> int let M = stdin.ReadLine () |> int let N = stdin.ReadLine () |> int let total = L * 100 + M * 25 + N let c100 = (total % 1000) / 100 let c25 = (total % 100) / 25 let c1 = (total % 25) c100 + c25 + c1 |> printfn "%d" doIt ()