fun readLargeInt () =
    valOf (TextIO.scanStream (LargeInt.scan StringCvt.DEC) TextIO.stdIn)


val () =
    let
        val a = readLargeInt ()
        val b = readLargeInt ()

        val ans = (a mod 1000000007) * (b mod 1000000007) mod 1000000007
    in
        print (LargeInt.toString ans ^ "\n")
    end