// yukicoder: No.785 色食い虫
// 2019.5.6 bal4u

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

#if 1
#define gc() getchar_unlocked()
#else
#define gc() getchar()
#endif
void ins(char *s)  // 文字列の入力　スペース以下の文字で入力終了
{
	char *p = s;
	do *s = gc();
	while (*s++ > ' ');
	*--s = 0;
}

char S[100];
char f[3][16];
int a[3];

int main()
{
	int i, j;
	char *s;
	
	for (i = 0; i < 3; i++) {
		ins(s = S);
		while (*s) {
			if (*s == 'N') break;
			if (*s == ',');
			else if (*s <= '9') f[i][*s & 0xf] = 1;
			else f[i][*s - 'A' + 10] = 1;
			s++;
		}
		a[i] = 0; for (j = 0; j < 16; j++) if (f[i][j] == 0) a[i]++;
	}
	printf("%d\n", a[0]*a[0]*a[1]*a[1]*a[2]*a[2]);
	return 0;
}