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