#include<stdio.h>
int main(){
	int year;
	int s,l,i,j=0,k=0,m=0,flag=0,ans[300][300]={0};
	
	while(scanf("%d%d",&s,&l)!=EOF){
		if(s==0 && l==0)break;
	for(i=s;i<=l;i++){
		if(i%4==0){
			if(i%100!=0 || i%400==0){
			ans[j][k]=i;
			flag=1;
				k++;
			}
		}
	}
	if(flag==0)ans[j][k]=-10;
		flag=0;
		j++;
		k=0;
	}
	
	for(i=0;i<j;i++){
		for(k=0;;k++){
			if(ans[i][k]!=-10){
				if(ans[i][k]==0)break;
				printf("%d\n",ans[i][k]);
			}
		else printf("NA\n");
		}
		//printf("\n");
	}
return 0;
}