a, b = [int(i) for i in input().strip().split()] print(a*b/1000000007)