#include int main(void){ int n,a,b; scanf("%d",&n); a = n/2; if(n%2 == 1){ printf("7"); a--; } for(b=0;b