#include <stdio.h>
int sum_numbers(const char *s) {
int sum = 0, n = 0;
for ( ; s && *s; ++s) {
if ('0' <= *s && *s <= '9')
n = n * 10 + (*s - '0');
else if (n) { // complete number
sum += n;
n = 0;
}
}
return sum + n;
}
int main(void) {
char buf[BUFSIZ];
if (fgets(buf
, sizeof buf
, stdin
)) return printf("%d", sum_numbers
(buf
)) < 0; return 1;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CgppbnQgc3VtX251bWJlcnMoY29uc3QgY2hhciAqcykgewogIGludCBzdW0gPSAwLCBuID0gMDsKICBmb3IgKCA7IHMgJiYgKnM7ICsrcykgewogICAgaWYgKCcwJyA8PSAqcyAmJiAqcyA8PSAnOScpCiAgICAgIG4gPSBuICogMTAgKyAoKnMgLSAnMCcpOwogICAgZWxzZSBpZiAobikgeyAvLyBjb21wbGV0ZSBudW1iZXIKICAgICAgc3VtICs9IG47CiAgICAgIG4gPSAwOwogICAgfQogIH0KICByZXR1cm4gc3VtICsgbjsKfQoKaW50IG1haW4odm9pZCkgewogIGNoYXIgYnVmW0JVRlNJWl07CiAgaWYgKGZnZXRzKGJ1Ziwgc2l6ZW9mIGJ1Ziwgc3RkaW4pKQogICAgcmV0dXJuIHByaW50ZigiJWQiLCBzdW1fbnVtYmVycyhidWYpKSA8IDA7CiAgcmV0dXJuIDE7Cn0=