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