#include<stdio.h>
#define NUM 1000000007

int main(void) {
	int A, B;
	int r, ra, rb;

	scanf("%d %d", &A, &B);

	ra = A % NUM;
	rb = B % NUM;
	r = (ra * rb ) % NUM;

	printf("%d", r);

	return 0;

}