function Checkqueryform() 
 { 
  if ((document.queryform.keys.value == "")) 
   { 
   alert("Inserisci una chiave di Ricerca, es. Lecce !"); 
   return false; 
   } 
 else  return true; 
} 

//Insert these lines into any place of page
//Set parameter "ID" for buttons so that it began with "butt".
//For example - "button1", "button2", "butt_shan"...
//You can use all types of buttons - "button", "submit", "reset". 
//It is possible to add to them events. E.g. - onClick.
//----   Choice of variables   ----\\

m_over_col="#82FF82"
m_out_col="#005B8C"
m_down_col="#005B8C"

m_over_col_tx="#000000"
m_out_col_tx="#FFFFFF"
m_down_col_tx="#FFFFFF"

//---------The description---------\\
/*
m_over_col - background of buttons at MouseOver
m_out_col  - background of buttons at MouseOut and initial colors
m_down_col - background of buttons at MouseDown

m_over_col_tx - Color of text in buttons at MouseOver
m_out_col_tx  - Color of text in buttons at MouseOut and initial colors
m_down_col_tx - Color of text in buttons at MouseDown
*/
//----------------------------------\\

//This and others free scripts you can find on a site: artdhtml.com



dow_key=''
window.onload=recolor_butt

function recolor_butt()
{
len_all=document.all.length
for (i=0; i<len_all; i++)
{
id=document.all[i].id
if (id.indexOf('butt')==0)
	{
	document.all[i].style.background=m_out_col
	document.all[i].style.color=m_out_col_tx
	}
}
}



function document.onmouseover()
{
id=window.event.srcElement.id
if (id.indexOf('butt')==0)
	{
	if(dow_key==id){return}
	document.all[id].style.background=m_over_col
	document.all[id].style.color=m_over_col_tx
	}
}

function document.onmouseout()
{
id=window.event.srcElement.id
if (id.indexOf('butt')==0)
	{
	if(dow_key==id){return}
	document.all[id].style.background=m_out_col
	document.all[id].style.color=m_out_col_tx
	}
}

function document.onmousedown()
{
id=window.event.srcElement.id
if (id.indexOf('butt')==0)
	{
	if(dow_key!=''){
	document.all[dow_key].style.background=m_out_col
	document.all[dow_key].style.color=m_out_col_tx
	}
	dow_key=id
	document.all[id].style.background=m_down_col
	document.all[id].style.color=m_down_col_tx
	}
}