/* -*- coding: utf-8 -*-
 *
 * 785.cc:  No.785 色食い虫 - yukicoder
 */

#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<cmath>
#include<iostream>
#include<string>
#include<vector>
#include<map>
#include<set>
#include<stack>
#include<list>
#include<queue>
#include<deque>
#include<algorithm>
#include<numeric>
#include<utility>
#include<complex>
#include<functional>
 
using namespace std;

/* constant */

/* typedef */

/* global variables */

char s[64];

/* subroutines */

/* main */

int main() {
  int c = 1;

  for (int i = 0; i < 3; i++) {
    scanf("%s", s);
    int l = strlen(s);

    int d = 16 - ((l == 4) ? 0 : (l + 1) / 2);
    c *= d * d;
  }

  printf("%d\n", c);
  return 0;
}