#include <stdio.h>

int main()
{
    int a=0;
    int b=0;
    scanf("%d %d", &a, &b);
    if(a<1 || a>10000){
        return 0;
    }
     if(b<1 || b>10000){
        return 0;
    }
    for(a; a<b;a++){
        if(a % 7 ==2){
	    printf("%d\n", a);
	}
		if(a % 7 ==3){
	    printf("%d\n", a);
	}
    }





    return 0;
}