<> <> OPTIONS Small; SELECT TRIGGER FROM Red Up => Coords, ButtonHit; Yellow Up => Coords, ButtonHit; Blue Up => Coords, ButtonHit; ENDCASE.