var zhetd2_8f = [ [ "zhetd2", "de/d79/group__hetd2_ga193d2ec717007f433b0a4c348cff42b5.html#ga193d2ec717007f433b0a4c348cff42b5", null ] ]; .