function AddToBookmarks (url,desc)
{
	var ver = navigator.appName;
	var num = parseInt(navigator.appVersion);
	
	if ((ver == "Microsoft Internet Explorer")&&(num >= 4))
	{
		javascript:window.external.AddFavorite(url, desc);
	}
	else
	{
		alert("To add a bookmark, please press Control-D.");
	}
}