/*================================================
 * FUNZIONE: Pagina
 * INGRESSO: pagina da visualizzare.
 * USCITA: nessuna.
 * VARIABILI GLOBALI USATE: nessuna.
 * VARIABILI GLOBALI MODIFICATE: nessuna.
 * DESCRIZIONE: visualizza la pagina richiesta.
 *================================================*/
function Pagina(Pagina) {    
    document.forms[0].PAGINA.value = Pagina;
    document.forms[0].submit();
}