#include"bits/stdc++.h" using namespace std; long long s[1000000]; int sd(int x){ while(x){ if(x%10==7){ x/=10; return true;} } return false;} int main(){ ios::sync_with_stdio(false); cin.tie(0); cout.tie(0); long long n,m,ans=0; cin>>n>>m; for(int i=n;i<=m;i++){ if(i%7==0||sd(i)){ s[ans]=i; ans++; } } cout<<ans<<endl; for(int i=0;i<ans;i++){ cout<<s[i]<<endl; }}