var searchIndex = JSON.parse('{\
"lib":{"doc":"","i":[],"p":[]}\
}');
addSearchOptions(searchIndex);initSearch(searchIndex);