print'/'+`id(0)%3*8%15+24`