// Redirection vers une URL 

function redir(url) {



	var go_url = "";



	switch (url) {

		case "1" : 

			go_url = "../../index.html";

			break;

		default :

			document.write("Erreur, la redirection n° " + url + " n'existe pas !");

			go_url = "-1";

	}

	if (go_url != "-1") {

		this.location.href = go_url;

	}

}