main(n){~scanf("%d",&n)|n&&main(n/7)+putchar(48+n%7);}