//var searchURLString = "../search/searchform.html";

// -----------------
function searchURL() 
// -----------------
{
    var cwin = window.open(searchURLString,'Search',['toolbar=yes,width=500,height=550,directories=no,status=yes,scrollbars=yes,resizable=yes,menubar=no']);   

    cwin.focus();  
}

// -----------------
function highlightSearchTerm() 
// -----------------
{
var word = getCookie("highlight");
    if (word != "") {
	var sc = document.getElementById('sectioncontent');  // may be null	
if (sc != null) {
	    var reg = eval("/" + word + "/gi");
	    var s = sc.innerHTML;
	    sc.innerHTML = s.replace(reg, "><span class=\"index-anchor\">"+word+"</span><");
	}
    }

    document.cookie = "highlight=";  // Turn it off.
}

function LocalLoad() 
{
	highlightSearchTerm();
}