#include<stdio.h>

void leap_year(int a, int b);

int main(void)
{
    while (1){
        int a, b;
        scanf("%d %d", &a, &b);
        if (a == 0 && b ==0) {
            break;
        } else {
            leap_year(a, b);
        }
    }
    return 0;
}

void leap_year(int a, int b)
{
    int count = 0;
    for (int i = a; i <= b; i++){
        if (i % 400 == 0) { //iが４００の倍数の時
            printf("%d\n", i);
            count = + 1;
        } else if (i % 100 != 0) { //iが100の倍数のでないとき  
            if ( i % 4 == 0) {//iが四の倍数のとき
                printf("%d\n", i);
                count = + 1;                
            }
        }
    }
    if (count == 0) { //閏年が0のとき        
        printf("NA\n\n");
    } else {
        printf("\n");
    }    
}