#include <stdio.h>

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

    gets(s);
    while(!feof(stdin))
    	{
	tot+=atoi(s);
	gets(s);
	}

    printf("%d\n",tot);
}