#include <bits/stdc++.h>
#include <cstdio>
#include <cstring>
#include <cstdlib>

using namespace std;

int main() {
	ios::sync_with_stdio(0);
	cin.tie();
	int cnt = 0;
	// char s[1001];
	string s;
	while (cin >> s) {
		if (s[0] == '|') {
			cnt += 42 * s.size();
		} else {
			int len = s.size();
			int cut = 0;
			for (int i = 0; i < len; i++) {
				if (isdigit(s[i])) {
					cut++;
				} else {
					break;
				}
			}
			// s[cut] = '\0';
			cnt += stoi(s.substr(0, cut)) * (len - cut - 2);
		}
	}
	cout << ((cnt +5)/ 10)*10 << ",-" << endl;
	return 1;
}