24 0X3 ) ( 1231;