import strutils, sequtils

var a = readLine(stdin).split.map(parseInt)

echo a[0] * a[1] / 1000000007