<!--
var IndexPage = "index_";

function getLanguage(pathname) {
	return pathname.substring(pathname.lastIndexOf("_") + 1, pathname.lastIndexOf("."));
}

function getExtension(pathname) {
	return pathname.substring(pathname.lastIndexOf("."), pathname.length);
}

if ( window.parent.frames.length == 0 ) {
	var Page = location.pathname;
	location.pathname = IndexPage + getLanguage(Page) + getExtension(Page) + "?goTo=" + Page;
}
//-->