function popup(theurl,nome,w,h){
	window.open(theurl,nome,'width='+w+',height='+h+',status=1,resizable=1,scrollbars=1');
}


/*
 * spedisace il form di ricerca quando si cambia pagina
 * nei risultati. In questo modo nn si perdono i criteri di ricerca
 */

function pagina(cosa,num) {
	document.getElementById('pag').value = num;
	spedisci(cosa);
}



/*
 * invia il form passato come parametro
 */

function spedisci(nome){
	document.forms[nome].submit();
}