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

int main(void)
{
	char RGB[32];
	int i, ans;
	for (i = 0; i < 3; ++i) {
		scanf("%s", RGB);
		if (strcmp(RGB, "NONE") == 0) {
			if (i) ans *= 16;
			else ans = 16;
		}
		else {
			int length = strlen(RGB);
			if (i) ans *= (32 - length) / 2;
			else ans = (32 - length) / 2;
		}
	}
	printf("%d", ans * ans);
	return 0;
}