__int64 n;
int cnt[10];
int main(){
while(scanf("%I64d",&n)!=EOF)
{
int i;
if(n<=1)
{
printf("1\n");
continue;
}
for (i=9;i>=2;i--)
{
cnt[i]=0;
while(n%i==0)
{
cnt[i]++;
n/=i;
}
}
if(n!=1)
{
printf("-1\n");
continue;
}
char ans[100];
int len=0;
for(i=2;i<=9;i++)
{
for(int j=0;j<cnt[i];j++)
ans[len++]=i+'0';
}
ans[len]='\0';
printf("%s\n",ans);
}
return 0;
}