var kwhitespace = " \t\n\r";

function stripWhitespace (s)
{   var i;
    var out = "";

    for (i = 0; i < s.length; i++)
    {   
        var c = s.charAt(i);
        if (kwhitespace.indexOf(c) == -1) out += c;
    }
    return out;
}

function clickNav(src){
	self.location.href = src;
}

function applyStyle(objectId, style){
	var object = document.getElementById(objectId);
	object.className = style;
}

function submitSearchForm(){
	var searchform = document.forms['searchform'];

	if(stripWhitespace(searchform.SQ.value) != "")
	{
		searchform.submit();
	}
}

function validateSearch(searchform){
	if(stripWhitespace(searchform.SQ.value) != "")
	{
		return true;
	}
	else
	{
		return false;
	}
}