var ViewName = new Array();
ViewName[""]       = "";

/********************************************************************/
/*							ISTRUZIONI								*/
/*      per rinnominare un file es pag_tipo.shtml in Pagina Tipo	*/					 
/*		copiare una riga e mettere nella prima colonna fra [" "] 	*/
/*		il nome del file e nella seconda fra " " come si vuole 		*/
/*		che appaia in testa alle pagine								*/
/*																	*/
/* 		nello stesso modo è possibile rinominare anche una cartella	*/
/********************************************************************/


// Utile all'applicazione Java per costruire il menu sulle pagine 
// di ricerca della sezione Musei.
// Vedi ssi/ssi_pagina_top.shtml

ViewName["musei"]	  		= "Musei";
ViewName["banche_dati"]	  		= "Banche dati";
ViewName["ricerca_musei.shtml"]		= "Ricerca sui musei";