// editor2
#include<stdio.h>
int main()
{
    long long N;
    if(scanf("%lld",&N)!=1)
    {
        printf("null");
        return 0;
    }
    
    if(N <= 0)
    {
        printf(""Invalid Input");
        retunr 0;
    }
    
    char result[65];
    int idx = 0;
    while(N>0)
    {
        int bit = N %2;
        if(bit == 0)
        {
            result[idx++]= '3';
            
        }
        else
        {
            result[idx++]= '4';
        }
        N/=2;
    }
    for(int i=idx -1; i>=0;i--)
    {
        putchar(result[i]);
    }
    
}