dfninr ^ " ' ' 3^'