<!--

function clear_search()
{
	if ( document.getElementById("search").value == "Search Unity" ) {
		document.getElementById("search").value = "";
	}
}

function set_search()
{
	if (document.getElementById("search").value == "") {
		document.getElementById("search").value = "Search Unity";
	}
}

-->