(stdin.ReadLine >> fun s -> s.Split ' ') () |> (Array.map (int >> fun n -> match (n%3,n%5) with | (0,0) -> 8 | (0,_) -> 4 | (_,0) -> 4 | (_,_) -> n.ToString () |> String.length) >> Array.sum) |> stdout.WriteLine