while(a<1001){
…
a=1001;
}

実質 if(a<1001)