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

int main(void)
{
	int a[5];
	char str[32], *ch;
	fgets(str, sizeof(str), stdin);
	ch = strtok(str, " \n");
	for (int i = 0; i < 5; i++) {
		if (ch == NULL) break;
		else a[i] = atoi(ch);
		ch = strtok(NULL, " \n");
	}
	int j = 0;
	for (int i = 0; i < 5; i++) {
		if (a[i] % 3 == 0 && a[i] % 5 == 0) j = j + 8;
		else if ((a[i] % 3 == 0 && a[i] % 5 != 0) || (a[i] % 3 != 0 && a[i] % 5 == 0)) j = j + 4;
		else {
			while (a[i] != 0) {
				a[i] = a[i] / 10;
				j++;
			}
		}
	}
	printf("%d\n", j);
	return 0;
}