<!--

//var ViewName[lang] = new Array(); //array definito nel file string_mapping.js
function Menu()
{
	var URL = document.URL
	var MenuBar = ''
	var lang = "it";
	URL = URL.substr(URL.indexOf('//')+2) 	//tolgo http://
	if(URL.indexOf('?') > 0)
		URL = URL.substr(0,URL.indexOf('?'))	//tolgo le possibili var.
	var b = URL.split('/')
	
	var str_path = b[0] + "/"
	
	MenuBar += ("PlaNet Home".link("http://" + b[0]))
	
	if( b[1]=="en" )
			lang=b[1];
	
	for (i=1;i<b.length;i++)
	{
		str_path = str_path + b[i] + "/"
		
			
		if(ViewName[lang][b[i]])
				b[i] = ViewName[lang][b[i]]
			
		if(b[i].length > 1) {
			if(b[i].indexOf('.') < 1)
			{	
			   	//if(ViewName[lang][b[i]]) 
			   	//	b[i] = ViewName[lang][b[i]]
				MenuBar += " " + (b[i].link("http://" + str_path))
			}
			else
			{	
				if(b[i].indexOf('index.')) {
					b[i] = (b[i].substr(0,b[i].indexOf('.')))
					if(ViewName[lang][b[i]]) {
					b[i] = ViewName[lang][b[i]]
				}
					
				MenuBar += " <span>" + b[i] +"</span>"
				}
			}
		}
	}
	//if((b[b.length-1]).indexOf('.') < 1)
	//	MenuBar += " " + ('index')

	document.write(MenuBar)
}
-->
