window.search_texts = {"history": "History", "clear": "Clear"};
window.search_history_count = '10';
window.suggest_highlight = '0';