#include <bits/stdc++.h>
using namespace std;
//ios_base::sync_with_stdio(false);

int main() {
	char line[1500];
	int sum = 0;
	while(scanf("%s", &line) == 1) {
		int count = 0;
		int price = 0;
		for(int i= 0; i < strlen(line);i++) {
			char c = line[i];
			if(c == '|') {
				count++;
			}
			if(c >= '0' && c <= '9') {
				int digit = c - '0';
				price *= 10;
				price += digit;
			}
		}
		if(price == 0) {
			price = 42;
		}
		if(count == 0) {
			count = 1;
		}
		sum += count * price;
	}
	if(sum % 10 > 4) {
		sum += 10 - (sum % 10);
	}
	else {
		sum -= sum % 10;
	}
	cout << sum << ",-" << endl;
	return 0;
}