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