#include <stdlib.h>
#include <stdio.h>

int main(int argc, char*argv[])
{
    unsigned long long tot=0;
    char s[128];

    while(fgets(s, sizeof s, stdin))
    {
	tot += strtoull(s, NULL, 0);
    }

    printf("%llu\n", tot);

    return EXIT_SUCCESS;
}