if ((top != self.parent.parent) || (top == self)) {
	var root ="/VillaDeGuines/";
	var target = location.pathname.substring(location.pathname.lastIndexOf(root)+root.length);
	if((p = target.lastIndexOf("/")) >= 0
	&& target.search(/\d\d\w*\.html/) < 0)
		target = target.substring(0, p)+"/index.html";
	if(location.search)
		target += "&"+location.search.substr(1);
	location.replace(root+"indexLF.html?content="+target);
}