sum from n=0 to 999 of 1-n*.001