<!--
function clear_search()
{
	if ( document.getElementById("search_text").value == "Search SJC" ) {
		document.getElementById("search_text").value = "";
	}
}

function set_search()
{
	if (document.getElementById("search_text").value == "") {
		document.getElementById("search_text").value = "Search SJC";
	}
}
//-->