#include<stdio.h>
int main(){
	int year;
	int s,l,i,flag=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){
			printf("%d\n",i);
			flag=1;
			}
		}
	}
	if(flag==0)printf("NA\n");
	}
return 0;
}