#include <bits/stdc++.h>
using namespace std;
int main() {
  string inp;
  cin >> inp;
  string s;
  int pos = 0;
  int q = 0, cents = 0;
  while (pos < inp.size()) {
    while (!isdigit(inp[pos])) ++pos;
    s.clear();
    while (pos < inp.size() && (isdigit(inp[pos]) || inp[pos] == '.'))
      s += inp[pos++];
    int last = s.size();
    if (s.size() >= 4 && s[last - 3] == '.') {
      cents += 10 * (s[last - 2] - '0') + s[last - 1] - '0';
      last -= 3;
    }
    int qq = 0;
    for (int j = (0); j < (last); ++j)
      if (s[j] != '.') qq = 10 * qq + s[j] - '0';
    q += qq;
  }
  q += cents / 100;
  cents %= 100;
  string res;
  if (cents) {
    res += '0' + cents % 10;
    res += '0' + cents / 10;
    res += '.';
  }
  int c = 0;
  if (q == 0)
    res += '0';
  else {
    while (q) {
      if (c == 3) {
        res += '.';
        c = 0;
      }
      ++c;
      res += '0' + q % 10;
      q /= 10;
    }
  }
  reverse(res.begin(), res.end());
  cout << res << endl;
}
