fun readInt () = valOf (TextIO.scanStream (Int.scan StringCvt.DEC) TextIO.stdIn) fun characterCount n = if n mod 3 = 0 andalso n mod 5 = 0 then 8 else if n mod 3 = 0 then 4 else if n mod 5 = 0 then 4 else String.size (Int.toString n) val () = let val a_s = List.tabulate (5, fn _ => readInt ()) val ans = List.foldl (fn (a, acc) => characterCount a + acc) 0 a_s in print (Int.toString ans ^ "\n") end