#include<stdio.h>
int main(void){
int a,b,c;
scanf("%d%d",&a,&b);
c = a*b;
c=c%1000000007;
printf("%d\n",c);
return 0;
}