#include <iostream>
using namespace std;
int w, p;
int main()
{
	cin >> w >> p;
	cout << (w*p)/1000;
	return 0;

}