function hidediv(id) {
	//safe function to hide an element with a specified id
	if (document.getElementById) { // DOM3 = IE5, NS6
		document.getElementById(id).style.display = 'none';
	}
	else {
		if (document.layers) { // Netscape 4
			document.id.display = 'none';
		}
		else { // IE 4
			document.all.id.style.display = 'none';
		}
	}
}

function generateSearch(f) {
  document.forms["portlet.search.view_Pluto_20_"].ASEARCH_USER_QUERY.value = document.forms["portlet.search.view_Pluto_20_"].ASEARCH_USER_QUERY.value + '*';
  document.forms["portlet.search.view_Pluto_20_"].submit();
}