using System;
using System.Collections.Generic;
using System.Linq;

class Magatro
{
    static void Main()
    {
        Console.WriteLine((int.Parse(Console.ReadLine()) / int.Parse(Console.ReadLine()))/1000*1000);

    }
}