#include <iostream>
using namespace std;

int main(){
    int ans = 1;
    for(int i = 0; i < 3; i++){
        string color;
        cin >> color;
        if(color == "NONE"){
            ans *= 256;
        }else{
            ans *= int(15 - color.size() / 2) * int(15 - color.size() / 2);
        }
    }
    cout << ans << endl;
}