#include <bits/stdc++.h>
using namespace std;

int main() {
    
    // 1. 入力情報取得.
    string r, g, b;
    cin >> r >> g >> b;
    
    // 2. 表示可能な色数は？
    int rx = r.size() / 2 + 1;
    int gx = g.size() / 2 + 1;
    int bx = b.size() / 2 + 1;
    // 食べる文字が無い場合は, rx, gx, bx を 0 に設定.
    if(r == "NONE") rx = 0;
    if(g == "NONE") gx = 0;
    if(b == "NONE") bx = 0;
    int ans = (16 - rx) * (16 - gx) * (16 - bx);
    ans *= ans;
    
    // 3. 出力 ～ 終了.
    cout << ans << endl;
    return 0;
    
}