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

int main()
{
int i;
char S[ 20 ];
int t;

	cin >> S;
	cin >> t;
	sscanf( S + 2, "%d", &i );
	
	cout << ( i * t ) / 10000 << endl;

	return 0;
}