#include <stdio.h>

int main()
{
	size_t x, y, s = 0;
	while (scanf("%*[^m]") != EOF)
		if (scanf("mul(%3zu,%3zu", &x, &y) == 2 && getchar() == ')')
			s += x * y;
	printf("%zu\n", s);
	return 0;
}