x;main(){printf("%d",1529892>>atoi(gets(&x))%6*4&15);}