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