main(n){for(;16e3+n--;)putchar(n+8e3?57:10);}