var searchIndex = {};
searchIndex["mach"] = {"doc":"","items":[],"paths":[]};
initSearch(searchIndex);