print(eval(input().replace(' ','*'))%int(1000000007))