function scrivi_cerca()
{
	this.value="cerca";
}
function nascondi_cerca()
{
  this.value="";
}