#include <stdio.h>

int main(void)
{
	long long a, b;
	scanf("%I64d%I64d", &a, &b);
	printf("%I64d\n", a*b % 1000000007);
	return 0;
}