a;main(b){scanf("%d%d%d",&a,&a,&b);printf("%d",b*(b+1)/2%17);}