n,j=26;main(i){for(scanf("%d",&n);n-=__builtin_popcount(i+=2)%3==1;);for(;j--;write(1,"35"+n%2,n>1))n=i>>j;}