Vasily exited from a store and now he wants to recheck the total price of all purchases in his bill. The bill is a string in which the names of the purchases and their prices are printed in a row without any spaces. Check has the format "name1price1name2price2...namenpricen", where namei (name of the i-th purchase) is a non-empty string of length not more than 10, consisting of lowercase English letters, and pricei (the price of the i-th purchase) is a non-empty string, consisting of digits and dots (decimal points). It is possible that purchases with equal names have different prices.

The price of each purchase is written in the following format. If the price is an integer number of dollars then cents are not written.

Otherwise, after the number of dollars a dot (decimal point) is written followed by cents in a two-digit format (if number of cents is between 1 and 9 inclusively, there is a leading zero).

Also, every three digits (from less significant to the most) in dollars are separated by dot (decimal point). No extra leading zeroes are allowed. The price always starts with a digit and ends with a digit.

For example:

  * "234", "1.544", "149.431.10", "0.99" and "123.05" are valid prices, 
  * ".333", "3.33.11", "12.00", ".33", "0.1234" and "1.2" are not valid. 



Write a program that will find the total price of all purchases in the given bill.

Input

The only line of the input contains a non-empty string s with length not greater than 1000 — the content of the bill.

It is guaranteed that the bill meets the format described above. It is guaranteed that each price in the bill is not less than one cent and not greater than 106 dollars.

Output

Print the total price exactly in the same format as prices given in the input.

Examples

Input

chipsy48.32televizor12.390


Output

12.438.32


Input

a1b2c3.38


Output

6.38


Input

aa0.01t0.03


Output

0.04
#include <bits/stdc++.h>
using namespace std;
const int inf = 0x3f3f3f3f;
const long long mod = 1e6 + 3;
const int Max = 1e6 + 10;
int n, m;
char str[1010];
int num[20];
int main() {
  while (scanf("%s", str) != EOF) {
    int len = strlen(str);
    memset(num, 0, sizeof(num));
    for (int i = 0; i < len; i++) {
      if ('0' <= str[i] && str[i] <= '9') {
        int e = i + 1;
        while (('0' <= str[e] && str[e] <= '9') || str[e] == '.') e++;
        int now = 0;
        int pos = 1;
        if (e - i > 3 && str[e - 3] == '.') pos = 0;
        int k = 1;
        for (int j = e - 1; j >= i; j--) {
          if (str[j] != '.') {
            now += (str[j] - '0') * k;
            k *= 10;
          } else {
            num[pos++] += now;
            now = 0;
            k = 1;
          }
        }
        num[pos++] += now;
        i = e;
      }
    }
    num[1] += num[0] / 100;
    num[0] %= 100;
    int sum = 0;
    for (int i = 1; i < 20; i++) {
      num[i + 1] += num[i] / 1000;
      num[i] %= 1000;
      if (num[i]) sum = i;
    }
    if (sum != 0) printf("%d", num[sum]);
    for (int i = sum - 1; i >= 1; i--) {
      if (num[i] >= 100)
        printf(".%d", num[i]);
      else if (num[i] >= 10)
        printf(".0%d", num[i]);
      else
        printf(".00%d", num[i]);
    }
    if (sum != 0) {
      if (num[0] >= 10)
        printf(".%d", num[0]);
      else if (num[0] >= 1)
        printf(".0%d", num[0]);
    } else {
      if (num[0] >= 10)
        printf("0.%d", num[0]);
      else if (num[0] >= 1)
        printf("0.0%d", num[0]);
    }
    printf("\n");
  }
  return 0;
}
