main(){printf("/%d",getpid()%3*8%15+24);}