#yuki785

r=raw_input()
g=raw_input()
b=raw_input()
lr=[]
lg=[]
lb=[]
if r!='NONE':
 lr=r.split(',')
if g!='NONE':
 lg=g.split(',')
if b!='NONE':
 lb=b.split(',')
rr=16-len(lr)
rg=16-len(lg)
rb=16-len(lb)
print rr**2*rg**2*rb**2