using System; using System.Linq; class No128{ static void Main(){ Console.WriteLine(((Int32.Parse(Console.ReadLine())/1000)/(Int32.Parse(Console.ReadLine())))*1000); } }