function cambio_pagina(p) {
	document.forms['entryform'].npagina.value = p;
	document.forms['entryform'].submit();
}

function cambiaBrand() {
	$URLdest = document.getElementById("destinazione").value + "?id=" + document.getElementById("id").value;
	window.location = $URLdest;
}

function cambio_anno(anno) {
	$URLdest = "cambiaAnnoStampa.php?anno=" + anno;
	window.location = $URLdest;
}