// File JScript
function aggiorna(pagina) {
	parent.location.href = pagina
}