nav = navigator.appName.substring(0,3);
ver = navigator.appVersion.substring(0,1)
function addFav()
{
if (nav == "Mic" && ver >= 4)
{
url_site="http://www.jeux-casino.com/";
titre_site = "Jeux-Casino.com - Guide de Casinos en Ligne";
document.write('<A HREF="#" onClick="window.external.AddFavorite(url_site, titre_site);return(false);"><img src="../images/index/fav.jpg" width="56" height="20" border="0"></A><BR>')
}
else
{
document.write('Faites CTRL+D pour ajouter ce site &agrave; vos favoris!')
}
}

function MM_jumpMenu(targ,selObj,restore){ //v3.0
  eval(targ+".location='"+selObj.options[selObj.selectedIndex].value+"'");
  if (restore) selObj.selectedIndex=0;
}