#include int main(){ int N; scanf("%d",&N); if(N%2==1){ printf("7"); for(int i=3;i