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

int popCount(int n){
  int t=(n&0x55555555)+((n>>1)&0x55555555);
  t=(t&0x33333333)+((t>>2)&0x33333333);
  t=(t&0x0F0F0F0F)+((t>>4)&0x0F0F0F0F);
  t=(t&0x00FF00FF)+((t>>8)&0x00FF00FF);
  t=(t&0x0000FFFF)+((t>>16)&0x0000FFFF);
  return t;
}

void run(void){
  int n;
  scanf("%d",&n);
  int i,j;
  for(i=3;i<=25;i++){
    for(j=0;j<(1<<(i-1));j++){
      n-=(popCount(j)%3==2);
      if(n==0){
        int k=i-2;
        while(k>=0){
          printf("%d",(j>>k)&0x01?5:3);
          k--;
        }
        printf("5\n");
        return;
      }
    }
  }
  return;
}

int main(void){
  run();
  return 0;
}