#include<stdio.h>
#include<math.h>

int main(){
    long long N;
    
    if(scanf("%lld",&N) != 1){
        printf("null");
        return 0;
    }
    if(N <= 0){
        printf("Invalid Input");
        return 0;
    }
    long long length = 1;
    long long prevCount = 0;
    long long currentCount =2;
    
    while(N>currentCount){
    length++;
    prevCount = currentCount;
    currentCount +=(1LL<<length);
    }
    long long offset = N - prevCount - 1;
    
    char result[70];
    int idx= length-1;
    
    for(int i=0;i<length;i++)
    result[i]='3';
    
    while(offset>0){
        int bit = offset%2;
            result[idx--]=(bit==1)?'4';'3';
            offset/=2;
    }
    
    for(int i = 0; i <length;i++)
        printf("%c",result[i]);
    }
    
    return 0;
}