7397 ) Hattens ombudsman.