#include<bits/stdc++.h>
using namespace std;
#define con continue
#define bk break
#define LL long long
#define db double
#define pt cout<<'\n'
#define ms(a, b) memset((a), (b), sizeof(a))
#define mp make_pair
#define endl '\n'
int inf=2147483647;const long long ll =9223372036854775807,ninf=1000000000;const double eps = 1e-6; const long long nll =1000000000000000000;
#define sz size()
#define len(X) strlen(X)
#define IOS ios_base::sync_with_stdio(false);cin.tie(0);cout.tie(0)
#define ULL unsigned long long
#define de cout<<"test"<<endl;
#define st system("pause");
#define F first
#define S second
#define M_PI 3.1415926
#define ac fstream cin("input.txt");ofstream cout("output.txt");
class CandyMaking
{
public:
double findSuitableDensity(vector <int> A, vector <int> B)
{
}
};
int ok=0;
vector<int>ans;
int solve(int now,int g){
if(now>g){
return 0;
}
if(now==g){
ok=1;
return 1;
}
if(!ok)
if(solve(now+4,g)){
ans.push_back(4);
}
if(!ok)
if(solve(now+7,g)){
ans.push_back(7);
}
}
int main()
{
int a;
while(cin>>a){
solve(0,a);
if(!ok){
cout<<-1<<endl;
}
int n=ans.sz;
cout<<n<<endl;
for(int i=n-1;i>=0;i--){
cout<<ans[i];
}
pt;
}
return 0;
}
I2luY2x1ZGU8Yml0cy9zdGRjKysuaD4KdXNpbmcgbmFtZXNwYWNlIHN0ZDsKI2RlZmluZSBjb24gY29udGludWUKI2RlZmluZSBiayBicmVhawojZGVmaW5lIExMIGxvbmcgbG9uZwojZGVmaW5lIGRiIGRvdWJsZQojZGVmaW5lIHB0IGNvdXQ8PCdcbicKI2RlZmluZSBtcyhhLCBiKSBtZW1zZXQoKGEpLCAoYiksIHNpemVvZihhKSkKI2RlZmluZSBtcCBtYWtlX3BhaXIKI2RlZmluZSBlbmRsICdcbicKaW50IGluZj0yMTQ3NDgzNjQ3O2NvbnN0IGxvbmcgbG9uZyBsbCA9OTIyMzM3MjAzNjg1NDc3NTgwNyxuaW5mPTEwMDAwMDAwMDA7Y29uc3QgZG91YmxlIGVwcyA9IDFlLTY7IGNvbnN0IGxvbmcgbG9uZyBubGwgPTEwMDAwMDAwMDAwMDAwMDAwMDA7CiNkZWZpbmUgc3ogc2l6ZSgpCiNkZWZpbmUgbGVuKFgpIHN0cmxlbihYKQojZGVmaW5lIElPUyBpb3NfYmFzZTo6c3luY193aXRoX3N0ZGlvKGZhbHNlKTtjaW4udGllKDApO2NvdXQudGllKDApCiNkZWZpbmUgVUxMIHVuc2lnbmVkIGxvbmcgbG9uZwojZGVmaW5lIGRlIGNvdXQ8PCJ0ZXN0Ijw8ZW5kbDsKI2RlZmluZSBzdCBzeXN0ZW0oInBhdXNlIik7CiNkZWZpbmUgRiBmaXJzdAojZGVmaW5lIFMgc2Vjb25kCiNkZWZpbmUgTV9QSSAzLjE0MTU5MjYKI2RlZmluZSBhYyBmc3RyZWFtIGNpbigiaW5wdXQudHh0Iik7b2ZzdHJlYW0gY291dCgib3V0cHV0LnR4dCIpOwpjbGFzcyBDYW5keU1ha2luZwp7CiAgICBwdWJsaWM6CmRvdWJsZSBmaW5kU3VpdGFibGVEZW5zaXR5KHZlY3RvciA8aW50PiBBLCB2ZWN0b3IgPGludD4gQikKewoKICAgIH0KfTsKaW50IG9rPTA7CnZlY3RvcjxpbnQ+YW5zOwppbnQgc29sdmUoaW50IG5vdyxpbnQgZyl7CmlmKG5vdz5nKXsKICAgIHJldHVybiAwOwp9CmlmKG5vdz09Zyl7CiAgICBvaz0xOwogICAgcmV0dXJuIDE7Cn0KaWYoIW9rKQppZihzb2x2ZShub3crNCxnKSl7CiAgICBhbnMucHVzaF9iYWNrKDQpOwp9CgppZighb2spCmlmKHNvbHZlKG5vdys3LGcpKXsKICAgIGFucy5wdXNoX2JhY2soNyk7Cn0KCn0KaW50IG1haW4oKQp7CmludCBhOwp3aGlsZShjaW4+PmEpewpzb2x2ZSgwLGEpOwogICAgICAgaWYoIW9rKXsKICAgICAgICBjb3V0PDwtMTw8ZW5kbDsKICAgICAgIH0KICAgICAgIGludCBuPWFucy5zejsKICAgICAgIGNvdXQ8PG48PGVuZGw7CiAgICAgICAKICAgICAgIGZvcihpbnQgaT1uLTE7aT49MDtpLS0pewogICAgICAgIGNvdXQ8PGFuc1tpXTsKICAgICAgIH0KICAgICAgIHB0Owp9CiAgICByZXR1cm4gMDsKfQo=