#include<stdio.h>
#include<ctype.h>
#include<string.h>
#include<stdlib.h>
int main()
{
    char input[50];
    if(!fgets(input,sizeof(input),stdin))
    {
        printf("Invalid Input");
        return 0;
    }
    for(int i=0;input[i];i++)
    {
        if (input[i]=='\n') break;
        if(!isdigit(Input[i]))
        {
            printf("null");
            return 0;
        }
    }
    long long N = atoll(input);
    if (N <= 0)
    {
        printf("Invalid Input");
        return 0;
    }
    char result[70];
    int idx = 0;
    while (N>0){
        if (N%2==0)
        result[idx++]='4';
        else
        result[idx++]='3';
        N = (N - 1) / 2;
    }
    for (int i=0; i<idx /2; i++)
    {
        char temp=result[i];
        result[i]=result[idx-i-1];
        result[idx-i-1]=temp;
    }
    result[idx] = '\0';
    printf("%s", result);
    return 0;
}