function cerca()
{
	var p = document.ric
	if (p.ricerca.value == "")
		{alert ("Inserire la parola da ricercare") ; p.ricerca.focus(); return false}

	return true
}


function puliscitext(elm){
	if (!elm.base) elm.base = elm.value
	if (elm.value == elm.base) elm.value = "";
	else if (elm.value == "") elm.value = elm.base;
}