from decimal import*
getcontext().prec=99
while 1:s=raw_input();_="%f345"%0+s[25:];print(sum(map(Decimal,s.split()[::2])),_)[s<_]