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