function toggleDiv(id){
	if( GID(id).style.display=="block" )
		GID(id).style.display="none";
	else
		GID(id).style.display="block";
}

function show(div){
	GID(div).style.display="block";
}
function hide(div){
	GID(div).style.display="none";
}

/*
Abbreviazione per document.getElementById(nomediv)
*/
function GID(id){
	return document.getElementById(id);
}

function checkdata(id){
	if( GID(id).value!="" )
		return true;
	alert("Inserire un termine di ricerca!");
	return false;
}