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