eat = []
for i in range(3):
    s = input().split()
    if s[0] == "NONE":
        eat.append(16)
    else:
        eat.append(16-len(s))

ans = 1
for e in eat:
    ans *= e
    ane *= e
    
print(ans)