hko rdr 3 , 725 : 32.