#include <iostream>
#include <string>
using namespace std;
int main() {
string str;
getline(cin, str);
if (!str.size()) {
return 0;
}
string usedstr = str.substr(str.find_first_of("@") + 1);
string leftedstr;
string totalstr = str.substr(0, str.find_first_of("@"));
if (!totalstr.size()) {
return 0;
}
if (!usedstr.size()) {
cout << str << endl;
}
int step = 0, stepl = 0;
for (int i = 0; i < totalstr.size(); i += step) {
char x = totalstr[i];
string::size_type index = usedstr.find(x);
step = totalstr.substr(step).find_first_of(',');
step++;
if (stepl <= usedstr.size()) {
stepl = usedstr.substr(stepl).find_first_of(',') > usedstr.size() ? usedstr.size() : usedstr.find_first_of(',');
stepl++;
}
if (index != string::npos && index < usedstr.size()) {
int totalnum = atoi(totalstr.substr(i + 2, i + step - 1).c_str());
int usednum = atoi(usedstr.substr(index + 2, i + stepl - 1).c_str());
int num = totalnum - usednum;
if (num != 0) {
leftedstr += x;
leftedstr += ':';
leftedstr += to_string(num);
leftedstr += ',';
}
}
else {
leftedstr += totalstr.substr(i);
}
}
if (leftedstr[leftedstr.size()] == ',') {
cout << leftedstr.substr(0, leftedstr.size() - 1);
}
cout << leftedstr;
return 0;
}