var RES_PREV_STR="precedente";
var RES_NEXT_STR="avanti";
var RES_CONTENTS_STR = "Contenuto";
var RES_INDEX_STR = "Indice";
var RES_SEARCH_STR = "Ricerca";
var RES_WORDSEPREGEX="[\\s -:;,\\[\\]<>{}&'\"!\?|()/\\\\]";
var RES_COMMONWORDS="";
var RES_STEMMING="";
var RES_SPELLING="";
var RES_MSGNOTFOUND="No topics found.";
var RES_MSGRESULTS="risultati";