// JavaScript Document

function favoris($url, $text) {
	if ( navigator.appName != 'Microsoft Internet Explorer' ) {
		window.sidebar.addPanel($text, $url, "");
	}
	else {
		window.external.AddFavorite($url, $text);
	}
}