function reloadFrameset() {
	if(top.location.search!="")	{
		var Adresse=top.location.search.substring(1, top.location.search.length);
		if(document.images) {
			top.main.location.replace(Adresse);
		} else {
			top.main.location.href=Adresse;
		}
	}
}