#include <bits/stdc++.h>
using namespace std;

using vi = vector<int>; using vvi = vector<vi>; using vvvi = vector<vvi>;
using ll = long long int;
using vll = vector<ll>; using vvll = vector<vll>; using vvvll = vector<vvll>;
using vd = vector<double>; using vvd = vector<vd>; using vvvd = vector<vvd>;
using P = pair<int, int>;
using Pll = pair<ll, ll>;
using cdouble = complex<double>;

const double eps = 1e-7;
#define Loop(i, n) for(int i = 0; i < int(n); i++)
#define Loopll(i, n) for(ll i = 0; i < ll(n); i++)
#define Loop1(i, n) for(int i = 1; i <= int(n); i++)
#define Loopll1(i, n) for(ll i = 1; i <= ll(n); i++)
#define Loopr(i, n) for(int i = int(n) - 1; i >= 0; i--)
#define Looprll(i, n) for(ll i = ll(n) - 1; i >= 0; i--)
#define Loopr1(i, n) for(int i = int(n); i >= 1; i--)
#define Looprll1(i, n) for(ll i = ll(n); i >= 1; i--)
#define Foreach(buf, container) for(auto buf : container)
#define Loopdiag(i, j, h, w, sum) for(int i = ((sum) >= (h) ? (h) - 1 : (sum)), j = (sum) - i; i >= 0 && j < (w); i--, j++)
#define Loopdiagr(i, j, h, w, sum) for(int j = ((sum) >= (w) ? (w) - 1 : (sum)), i = (sum) - j; j >= 0 && i < (h); j--, i++)
#define Loopdiagsym(i, j, h, w, gap) for (int i = ((gap) >= 0 ? (gap) : 0), j = i - (gap); i < (h) && j < (w); i++, j++)
#define Loopdiagsymr(i, j, h, w, gap) for (int i = ((gap) > (h) - (w) - 1 ? (h) - 1 : (w) - 1 + (gap)), j = i - (gap); i >= 0 && j >= 0; i--, j--)
#define Loopitr(itr, container) for(auto itr = container.begin(); itr != container.end(); itr++)
#define printv(vector) Loop(ex_i, vector.size()) { cout << vector[ex_i] << " "; } cout << endl;
#define printmx(matrix) Loop(ex_i, matrix.size()) { Loop(ex_j, matrix[ex_i].size()) { cout << matrix[ex_i][ex_j] << " "; } cout << endl; }
#define quickio() ios::sync_with_stdio(false); cin.tie(0);
#define bitmanip(m,val) static_cast<bitset<(int)m>>(val)
#define Comp(type_t) bool operator<(const type_t &another) const
#define fst first
#define snd second
#define INF INFINITY
bool feq(double x, double y) { return abs(x - y) <= eps; }
bool inrange(ll x, ll t) { return x >= 0 && x < t; }
bool inrange(vll xs, ll t) { Foreach(x, xs) if (!(x >= 0 && x < t)) return false; return true; }
int ceillog2(ll x) { int ret = 0;	x--; while (x > 0) { ret++; x >>= 1; } return ret; }
ll rndf(double x) { return (ll)(x + (x >= 0 ? 0.5 : -0.5)); }
ll floorsqrt(ll x) { ll m = (ll)sqrt((double)x); return m + (m * m <= x ? 0 : -1); }
ll ceilsqrt(ll x) { ll m = (ll)sqrt((double)x); return m + (x <= m * m ? 0 : 1); }
ll rnddiv(ll a, ll b) { return (a / b + (a % b * 2 >= b ? 1 : 0)); }
ll ceildiv(ll a, ll b) { return (a / b + (a % b == 0 ? 0 : 1)); }
ll gcd(ll m, ll n) { if (n == 0) return m; else return gcd(n, m % n); }
ll lcm(ll m, ll n) { return m * n / gcd(m, n); }

/*******************************************************/

map<string, ll> mp;

pair<ll, bool> lbr(const string &s, int &id);
pair<ll, bool> rbr(const string &s, int &id);
pair<ll, bool> mol(const string &s, int &id);
pair<ll, bool> atom(const string &s, int &id);
pair<ll, bool> num(const string &s, int &id);
pair<char, bool> capital(const string &s, int &id);
pair<char, bool> small(const string &s, int &id);

pair<ll, bool> lbr(const string &s, int &id) {
	if (s[id] == '(') {
		id++;
		return { 0, true };
	}
	else {
		return { 0, false };
	}
}

pair<ll, bool> rbr(const string &s, int &id) {
	if (s[id] == ')') {
		id++;
		return { 0, true };
	}
	else {
		return { 0, false };
	}
}

pair<ll, bool> mol(const string &s, int &id) {
	pair<ll, bool> ret = { 0, false };
	while (id < s.length()) {
		int idc = id;
		auto c0 = atom(s, id);
		if (c0.snd) {
			auto c1 = num(s, id);
			if (c1.snd) {
				ret.fst += c0.fst * c1.fst;
				ret.snd = true;
			}
			else {
				ret.fst += c0.fst;
				ret.snd = true;
			}
		}
		else {
			auto c1 = lbr(s, id);
			if (c1.snd) {
				auto c2 = mol(s, id);
				if (c2.snd) {
					auto c3 = rbr(s, id);
					if (c3.snd) {
						auto c4 = num(s, id);
						if (c4.snd) {
							ret.fst += c2.fst * c4.fst;
							ret.snd = true;
						}
						else {
							id = idc;
							return ret;
						}
					}
					else {
						id = idc;
						return ret;
					}
				}
				else {
					id = idc;
					return ret;
				}
			}
			else {
				id = idc;
				return ret;
			}
		}
	}
}

pair<ll, bool> atom(const string &s, int &id) {
	int idc = id;
	auto c0 = capital(s, id);
	if (c0.snd) {
		auto c1 = small(s, id);
		if (c1.snd) {
			string key; key += c0.fst; key += c1.fst;
			if (mp.find(key) != mp.end())	return { mp[key], true };
			else {
				id = idc;
				return { 0, false };
			}
		}
		else {
			string key; key += c0.fst;
			if (mp.find(key) != mp.end())	return { mp[key], true };
			else {
				id = idc;
				return { 0, false };
			}
		}
	}
	else return { 0, false };
}

pair<ll, bool> num(const string &s, int &id) {
	int idc = id;
	ll ret = 0;
	if ('1' <= s[id] && s[id] <= '9') {
		ret += s[id] - '0';
		id++;
		if ('0' <= s[id] && s[id] <= '9') {
			ret = ret * 10 + (s[id] - '0');
			id++;
			return { ret, true };
		}
		else {
			if (ret == 1) {
				id = idc;
				return { 0, false };
			}
			else {
				return { ret, true };
			}
		}
	}
	else {
		return { 0, false };
	}
}

pair<char, bool> capital(const string &s, int &id) {
	if ('A' <= s[id] && s[id] <= 'Z') {
		id++;
		return { s[id - 1], true };
	}
	else {
		return { 0, false };
	}
}

pair<char, bool> small(const string &s, int &id) {
	if ('a' <= s[id] && s[id] <= 'z') {
		id++;
		return { s[id - 1], true };
	}
	else {
		return { 0, false };
	}
}

int main() {
	while (true) {
		string s; cin >> s;
		if (s == "END_OF_FIRST_PART") break;
		ll x; cin >> x;
		mp[s] = x;
	}
	while (true) {
		string s; cin >> s;
		if (s == "0") break;
		s += "$";
		int id = 0;
		auto c = mol(s, id);
		if (c.snd && (id == s.length() - 1)) {
			cout << c.fst << endl;
		}
		else {
			cout << "UNKNOWN" << endl;
		}
	}
}


Measured memory_bytes: 3144