#include"bits/stdc++.h" using namespace std; long long s[1000010]; int asd(long long a){ long long 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,w=0,q=0; cin>>a>>b; for(long long i=a;i<=b;i++){ if(i%7==0||asd(i)){ q++; s[q]=i; }} cout<<q<<"/n"; for(int i=1;i<=q;i++)cout<<s[i]<<"/n"; }