#include<stdio.h>

int main(void){
	int n;
	char s[16]="*7777577777";
	scanf("%d",&n);
	printf("%c\n",s[n]);
	return 0;
}