#include <bits/stdc++.h>
using namespace std;
int main() {
  string s;
  cin >> s;
  int len = s.size();
  double ans = 0;
  double tmp = 0;
  for (int i = 0; i < len; ++i) {
    if (isdigit(s[i])) {
      tmp = s[i] - '0';
      int flag = 0;
      int j;
      for (j = i + 1; j < len && (isdigit(s[j]) || s[j] == '.'); ++j) {
        if (isdigit(s[j])) {
          if (flag) {
            tmp += (s[j] - '0') * pow(10, -flag);
            flag++;
          } else {
            tmp *= 10;
            tmp += s[j] - '0';
          }
        } else if (s[j] == '.')
          if (!flag) flag++;
      }
      flag--;
      while (flag >= 3) {
        flag -= 3;
        tmp *= 1000;
      }
      ans = tmp + ans;
      tmp = 0;
      i = j;
    }
  }
  string rans;
  double tans = ans - floor(ans + 0.00001);
  long long ians = floor(ans + 0.00001);
  int cnt = 0;
  if (!ians) rans.push_back('0');
  while (ians) {
    cnt++;
    rans.push_back((ians % 10) + '0');
    ians /= 10;
    if (cnt == 3) {
      rans.push_back('.');
      cnt = 0;
    }
  }
  int i = rans.size() - 1;
  if (rans[i] == '.') i--;
  for (; i >= 0; --i) {
    cout << rans[i];
  }
  if (tans > 1e-3) {
    int ts = (tans + 0.0001) * 100;
    printf(".%02d\n", ts);
  }
  return 0;
}
