#include <iostream>
#include <string>

int main() {

	std::string v;
	int sec;
	std::cin >> v >> sec;
	int v_int = std::stoi(v.substr(2));
	std::cout << sec * v_int / 10000 << std::endl;
}