#include using lint=long long; int main(){ std::cin.tie(nullptr);std::ios_base::sync_with_stdio(false); std::cout.setf(std::ios_base::fixed);std::cout.precision(15); lint n;std::cin>>n; lint max=std::min(n,100'000ll); for(lint i=-max;i<=max;i++){ std::string s=std::to_string(std::abs(i))+std::to_string(std::abs(n-i)); if(std::none_of(s.begin(),s.end(),[](char c){return c=='7';})){ std::cout<