v = input().replace(" ","*")
print(eval(v[2:])//10000)