#include<bits/stdc++.h>
int main(){
    char c;std::cin>>c>>c;
    int a,b;std::cin>>a>>b;
    std::cout<<a*b/10000<<std::endl;
}