#include <stdio.h>
#include <stdlib.h>

int main(void) {
	
	char v[7];
	char temp[2];
	int t, d = 0;
	int i;

	scanf("%s%d", v, &t);
	
	for( i = 2;i < 6;i++){
		temp[0] = v[i];
		temp[1] = '\0';
		d += atoi(temp) * t;
		d *= 10;
	}
	printf("%d\n", d / 100000);
	
	return 0;
}