r = 0
for i in input():
    if i.isdigit(): r+=int(i)
print(r)