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

void run(void){
  const int len=25;
  int n;
  scanf("%d",&n);

  int *now=(int *)malloc(sizeof(int)*(1<<(len+1)));
  int *next=(int *)malloc(sizeof(int)*(1<<(len+1)));

  now[0]=3;
  now[1]=5;
  int count=0;
  int i;
  for(i=1;i<=len;i++){
    int j;
    for(j=0;j<(1<<i);j++){
      if(now[j]%3==0 && (j&0x01)){
        count++;
        if(n==count){
          int k=i-1;
          while(k>=0){
            if((j>>k)&0x01){
              printf("5");
            } else {
              printf("3");
            }
            k--;
          }
          printf("\n");
          j=(1<<i)-1;
          i=len;
        }
      }
      next[2*j+0]=now[j]+3;
      next[2*j+1]=now[j]+5;
    }
    int *swap=now;
    now=next;
    next=swap;
  }
  free(now);
  free(next);
  return;
}

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