#include int main(void) { int n; while(scanf("%d", &n)==1) { if(n&1) printf("7"); else printf("1"); for(int i=1;i*2+1