// editor3
# include<stdio.h>
# include<stdlib.h>
# include<string.h>
void print_custom_number(unsigned long long N)
{
    if(N==0)
    {
        printf("3\n");
        return;
    }
    char result[100];
    int index=0;
    while(n>0)
    {
        n-=1;
        result[index++]=(n%2)?'4':'3';
        n/=2;
    }
    for(int i=index-1;i>=0;i--)
    {
        printf("%c",result[i]);
    }
    printf("\n");
}
int main()
{
    char input[20];
    scanf("%s",input);
    char*endptr;
    long long N=strtoll(input,&endptr,10);
    if(*endptr!='\0'||N<=0)
    {
        printf("Invalid Input\n");
    }
    else{
        print_custom_number(N);
    }
    return 0;
}