long a;main(b){scanf("%ld%d",&a,&b);printf("%.f",a/1000/b*1e3);}