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

int main(){
	cin.tie(0),ios::sync_with_stdio(false);
	int v,t; char g; cin>>v>>g>>v>>t;
	cout<<v*t/10000<<"\n"s;
}