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