n = input().split()

a = n[0]
b = n[1]
c = a * b
print(c / 1000000007)