#include<stdio.h>

int main(){
	unsigned short number = 1000;
	while(number >= 1000){
		number = number + 500;
		printf("%d\n", number);
	}
	return 0;
}