#include <stdio.h>

int main(){
	int vxod[999];
	int i = 0;
	int result = 0;
	while(1){
		int value = 0;
		int r = scanf("%d",&value);
		if(r == 1){
    			vxod[i++] = value;
		}
		else{
    			for(int a = 1; a < i; a++)
				result = vxod[0] * result + vxod[a];
			printf("Vysledok je: %d.00\n", result);
			break;
		}
	}
	return 0;
}