#include"bits/stdc++.h" using namespace std; long long s[1000000]; int asd(int a){ int r=0; while(a){ if(a%10==7)r++; a/=10; } if(r>=1)return 1; else return 0;} int main(){ long long a,b,e,w=0,q=0; cin>>a>>b; for(int i=a;i<=b;i++){ e=i; if(i%7==0||w>=1){ q++; s[q]=i; }} cout<<q<<endl; for(int i=1;i<=q;i++)cout<<s[i]<<endl; }