//List of files which are indexed.
fl = new Array();
fl["0"]= "Archives/index.html";
fl["1"]= "CopyrightAndLicenses/index.html";
fl["2"]= "InstallationGuide/index.html";
fl["3"]= "ReleaseNotes/index.html";
fl["4"]= "UserGuide/index.html";
var doStem = true