<!--
function favoris(myTitle,myLink) {
if ( navigator.appName != 'Microsoft Internet Explorer' )
{ window.sidebar.addPanel(myTitle,myLink,""); }
else { window.external.AddFavorite(myLink,myTitle); } }
// -->