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

int main(){
    int v,t;
    char c,d;
    cin >> c >> d >> v >> t;
    cout << v*t/10000 << endl;
}