#include <stdio.h>
#include <ctype.h>

#define MAX 80

int
main ()
{
  char line[MAX];
  int sum = 0;
  int n;
  while (fgets (line, MAX, stdin) != NULL) {
    if (isdigit (line[0])) {
      sscanf (line, "%d", &n);
      sum += n;
    }
  }
  
  printf ("sum: %d\n", sum);
}