#include<stdio.h>
int main(){
    long longN;
    if(scanf("%11d",&N)!=1){
        pintf("null");
        return 0;
    }
    if(N<=0){
        printf("Invalid input");
        return 0;
    }
    char result[100];
    int index = 0;
    while(N>0){
        if(N%2==0)
        result[index++]='4';
        else
        result[index++]='3';
        N = (N -1)/2;
    }
    for(int i = index-1;i>=0;i--)
    printf("%c",result[i]);
    return 0;
}