// editor2
#include<stdio.h>
#include<stdlib.h>

void print_custom_number(int n) {
    if(n<=0) return;
    int len=0;
    int temp=n;
    while(temp>0){
        len++;
        temp/=2;
    }
    temp = n;
    for (int i=len-1;i>=0;i--){
        int bit=(temp>>i)&1;
        printf("%d",bit ? 4:3);
    }
    printf("\n");
 {

int main(){
    char input[20];
    scanf("%s",input);
    
    int n;
    if(sscanf(input,"%d",&n)!=1 ||n<=0)
    {
        printf("Invalid Input\n");
        return 0;
    }
    print_custom_number(n);
    return 0;
}