Problem: Polycarp is working on a new project called "Polychat". Following modern tendencies in IT, he decided, that this project should contain chat as well. To achieve this goal, Polycarp has spent several hours in front of his laptop and implemented a chat server that can process three types of commands:

  * Include a person to the chat ('Add' command). 
  * Remove a person from the chat ('Remove' command). 
  * Send a message from a person to all people, who are currently in the chat, including the one, who sends the message ('Send' command). 



Now Polycarp wants to find out the amount of outgoing traffic that the server will produce while processing a particular set of commands.

Polycarp knows that chat server sends no traffic for 'Add' and 'Remove' commands. When 'Send' command is processed, server sends l bytes to each participant of the chat, where l is the length of the message.

As Polycarp has no time, he is asking for your help in solving this problem.

Input

Input file will contain not more than 100 commands, each in its own line. No line will exceed 100 characters. Formats of the commands will be the following:

  * +<name> for 'Add' command. 
  * -<name> for 'Remove' command. 
  * <sender_name>:<message_text> for 'Send' command. 



<name> and <sender_name> is a non-empty sequence of Latin letters and digits. <message_text> can contain letters, digits and spaces, but can't start or end with a space. <message_text> can be an empty line.

It is guaranteed, that input data are correct, i.e. there will be no 'Add' command if person with such a name is already in the chat, there will be no 'Remove' command if there is no person with such a name in the chat etc.

All names are case-sensitive.

Output

Print a single number — answer to the problem.

Examples

Input

+Mike
Mike:hello
+Kate
+Dmitry
-Dmitry
Kate:hi
-Kate


Output

9


Input

+Mike
-Mike
+Mike
Mike:Hi   I am here
-Mike
+Kate
-Kate


Output

14

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
int getline(char* str) {
  int i;
  char tc;
  for (i = 0; (tc = getchar()) != '\r' && tc != '\n' && !feof(stdin); i++) {
    fflush(stdout);
    str[i] = tc;
  }
  if (feof(stdin)) return 0;
  str[i] = 0;
  if (tc == '\r') getchar();
  return i;
}
int main() {
  set<string> ppl;
  char str[10000];
  int i, len, ans = 0;
  while (len = getline(str)) {
    if (str[0] == '+')
      ppl.insert((string)(str + 1));
    else if (str[0] == '-')
      ppl.erase((string)(str + 1));
    else {
      for (i = 0; i < len && ((str[i] >= 'a' && str[i] <= 'z') ||
                              (str[i] >= 'A' && str[i] <= 'z') ||
                              (str[i] >= '0' && str[i] <= '9'));
           i++)
        ;
      ans += (len - i - 1) * ppl.size();
    }
  }
  printf("%d\n", ans);
}