lang = location.pathname

	idx = lang.lastIndexOf(".")
	lang = lang.substring(0, idx)
	idx = lang.lastIndexOf(".")
	lang = lang.substring(idx+1)
	if (lang.indexOf("/") >= 0 || lang.length != 2) {
		lang = 'en'		// defaults to 'en'
	}

// KF 2008-01-31
//	passpage = document.URL 
//	if (top.location == self.location) {  // i.e., we are not part of frameset
//		top.location.href="/master.html?lang=" + lang + "&URL=" + passpage 
//	}