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