#include <stdio.h>

void main(void){
	long long int a = 0,b = 0;
	scanf("%lld %lld",&a,&b);
	printf("%lld",a*b%1000000007);
}