function redirect(lingua) {
	var uri = new Object();
	//directory
	uri.dir = location.href.substring(0, location.href.lastIndexOf('\/'));
	//dominio
	uri.dom = uri.dir; if (uri.dom.substr(0,7) == 'http:\/\/') uri.dom = uri.dom.substr(7);
	// percorso
	uri.path = ''; var pos = uri.dom.indexOf('\/'); if (pos > -1) {uri.path = uri.dom.substr(pos+1); uri.dom = uri.dom.substr(0,pos);}
	// nome della pagina
	uri.page = location.href.substring(uri.dir.length+1, location.href.length+1);
	// vengono tolti eventuali variabili di GET
	pos = uri.page.indexOf('?');if (pos > -1) {uri.page = uri.page.substring(0, pos);}
	pos = uri.page.indexOf('#');if (pos > -1) {uri.page = uri.page.substring(0, pos);}
	// estenzione
	uri.ext = ''; pos = uri.page.indexOf('.');if (pos > -1) {uri.ext =uri.page.substring(pos+1); uri.page = uri.page.substr(0,pos);}
	
	uri.file = uri.page;
	if (uri.ext != '') uri.file += '.' + uri.ext;
	if (uri.file == '') uri.page = 'index';
	uri.args = location.search.substr(1).split("?");
	
	var PAGE=uri.file;
	// eseguo il redirect alla pagina corrente ma nella lingua prescelta
	window.location="../"+lingua+"/"+PAGE;	
}


