* ^ | ( 712)