print(input()*input()%1000000007)