#include <bits/stdc++.h>
long long change(char *str) {
  int l, t;
  long long d = 0;
  l = strlen(str);
  for (t = 0; t < l; t++) {
    if (str[t] == '.') continue;
    d = d * 10 + str[t] - '0';
  }
  return d;
}
char *find(char *str) {
  int t = 0;
  for (t = 0; str[t] != '\0'; t++) {
    if (str[t] == '.') return &str[t];
  }
  return NULL;
}
int main() {
  char str[1010];
  fgets(str, 1010, stdin);
  int t, l;
  l = strlen(str);
  for (t = 0; t < l; t++) {
    if ((str[t] < '0' || str[t] > '9') && str[t] != '.') str[t] = '\0';
  }
  long long d = 0;
  for (t = 0; t < l; t++) {
    if (str[t] != '\0') {
      int ls;
      ls = strlen(&str[t]);
      char *dot;
      dot = find(&str[t]);
      if (dot == NULL) {
        d += change(&str[t]) * 100;
      } else {
        while (1) {
          int ld;
          ld = strlen(dot + 1);
          if (ld == 2) {
            d += change(&str[t]);
            break;
          } else if (ld == 3) {
            d += change(&str[t]) * 100;
            break;
          } else
            dot = find(dot + 1);
        }
      }
      t += ls - 1;
    }
  }
  int j = 0;
  if (d / 100000000 != 0) {
    if (j)
      printf("%03d.", d / 100000000);
    else
      printf("%d.", d / 100000000);
    d = d % 100000000;
    j = 1;
  } else if (j)
    printf("000.");
  if (d / 100000 != 0) {
    if (j)
      printf("%03d.", d / 100000);
    else
      printf("%d.", d / 100000);
    d = d % 100000;
    j = 1;
  } else if (j)
    printf("000.");
  if (j)
    printf("%03d", d / 100);
  else
    printf("%d", d / 100);
  d = d % 100;
  if (d != 0) printf(".%02d", d);
  printf("\n");
  return 0;
}
