for(;;)print(eval(readline()[r='replace'](/if/g,'(')[r](/then/g,')?')[r](/else/g,':')))