#include<stdio.h>
int main(void){
    long long n;
    if(scanf("%lld",&n)!=1||n<=0);{
        printf("Invalid input");
        return 0;
    }
    long long x=n+1;
    int bits[64];
    int cnt=0;
    while(x>0){
        bits[cnt++]=x%2;
        x/=2;
    }
    for(int i=cnt=2;i>=0;i--){
        if(bits[i]==0){
            putchar("3");
        }
        else{
            putchar("4");
        }
    }
    return 0;
    
}