json, $opts); return $obj; } }