#include <iostream>
#include <string>

using namespace std;
//char a[10000000000]={};
char b[1000000000]={};
char c[100000000]={};
char d[10000000]={};
char e[1000000]={};

long long int number(long long int n){
  long long int h=0;
  long long int p=0;
  
  while(p<n){
    h++;
    if(h>=1000000000){
      if(b[h%1000000000]==1 || h/1000000000==4 || h/1000000000==6)
	p++;
    }
    else{
      if(b[h]==1)
	p++;
    }
  }
  return h;
}
  


int main() {
    ios::sync_with_stdio(false);
    long long int s;
    int m=1;
    while(m<=999999){
      int t=m;
      while(t>0){
	if(t%10==4 || t%10==6)
	  {e[m]--;break;}
	else{
	  t=t/10;      
	}
      }
      d[m]++;
      m++;
    }
    
    int p,q;
    for(p=0;p<1000000;p++){
      for(q=0;q<9;q++){
	if(q!=4 || q!=6)
	  d[q*1000000+p]+=e[p];
      }
    }


    for(p=0;p<10000000;p++){
      for(q=0;q<9;q++){
	if(q!=4 || q!=6)
	  c[q*10000000+p]+=d[p];
      }
    }
    
    for(p=0;p<100000000;p++){
      for(q=0;q<9;q++){
	if(q!=4 || q!=6)
	  b[q*100000000+p]+=c[p];
      }
    }

    /*
    for(p=0;p<1000000000;p++){
      for(q=0;q<9;q++){
	if(q!=4 || q!=6)
	  a[q*1000000000+p]+=b[p];
      }
    }
    */
    
    while (1) {
      cin >> s;
      if(s != 0){
	cout << number(s) << endl;
      }
      else
	break;
    }

    return 0;
}