using System;

class No666{
    static void Main(string[] args){
        var str=(Console.ReadLine()).Split(' ');
        var d=(Double.Parse(str[0])*Double.Parse(str[1]))/1000000007;
        Console.WriteLine(d);
    }
}