0x8585 ) ( 5932 , 12)