function redirect(form)
	{
	if (form.menu.selectedIndex != 0)
		window.top.location.href = form.menu.options[form.menu.selectedIndex].value;
	}
function change_src(id,lien)
	{
	document.getElementById(id).src = lien;
	}