#include <stdio.h>
#include <stdlib.h>

unsigned int get_num_digit(int x) {
    unsigned int abs_x = abs(x);
    unsigned int num_digit = 0;

    do {
        abs_x = abs_x / 10;
        num_digit++;
    } while (abs_x > 0);

    return num_digit;
}

int main(void){
	int ans = 0;
	for(int i = 0;i < 5;i ++){
		int num = 0;
		scanf("%d",&num);
		
		if(num % 5 == 0 && num % 3 == 0){
			ans += 8;
		}else if(num % 5 == 0 || num % 3 == 0){
			ans += 4;
		}else{
			ans += get_num_digit(num);
		}
	}
	printf("%d",ans);
}