n = int(input())
s = n.split()
a = s[0]
b = s[1]
c = a * b

print(c / 1000000007)