#include<stdio.h>
int main()
{
	char v[10];
	int t;
	scanf("%s %d", v, &t);
	int i;
	int ans = 0, p = 1;
	for (i = 5; i > 1; i--, p *= 10)
		ans += (v[i] - '0') * p;
	printf("%d\n", ans * t / 10000);
	return 0;
}