main(){printf("%d",(getchar()%4+7)%9);}