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

#define MAXLINELEN 128

int main() {
    int sum = 0;
                char line[MAXLINELEN];

                    while (fgets(line, MAXLINELEN, stdin)) {
                                    sum += atoi(line);
                                        }
                        printf("%d\n", sum);
                            return(0);
}