#include <cstdio>

char ch[110];

int main () {
    //freopen ("Decl.in", "r", stdin);
    //freopen ("Decl.out", "w", stdout);

    while (fgets (ch, 110, stdin)) {
        int i = 0;
        if (ch[i] == 'u') {
            while ('a' <= ch[i] && ch[i] <= 'z') ++i;
            ++i;
        }
        int b, sum = 0;

        if (ch[i] == 'c') b = 1;
        else if (ch[i] == 's') b = 2;
        else if (ch[i] == 'i') b = 4;
        while ('a' <= ch[i] && ch[i] <= 'z') ++i;
        ++i;

        for (; ch[i] != '\n'; ++i) {
            int sz = 1;
            while (ch[i] == ' ' || ch[i] == ',') ++i;
            while ('a' <= ch[i] && ch[i] <= 'z') ++i;

            while (ch[i] == '[') {
                int n = 0;
                ++i;
                while ('0' <= ch[i] && ch[i] <= '9') {
                    n = n * 10 + ch[i] - '0';
                    ++i;
                }
                sz *= n;
                ++i;
            }

            sum += b * sz;

            if (ch[i] == '\n') break;
        }

        printf ("%d\n", sum);
    }

    return 0;
}