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

long long input_num;
long long jieduan_num = 1;
long long total_num;
char c;

int main(){
	scanf("%lld",&input_num);
	input_num %= 10000;
	jieduan_num *= input_num;
	jieduan_num %= 10000;
	while(cin>>c){
		if(c == '+'){
			total_num += jieduan_num;
			total_num %= 10000;
			jieduan_num = 1;//清空
			scanf("%lld",&input_num);
			input_num %= 10000;
			jieduan_num *= input_num;
			jieduan_num %= 10000;
		}
		else{//c == '*'
			scanf("%lld",&input_num);
			input_num %= 10000;
			jieduan_num *= input_num;
			jieduan_num %= 10000;
		}
	}
	jieduan_num %= 10000;
	total_num += jieduan_num;
	total_num %= 10000;
	printf("%lld\n",total_num);
	return 0;
}