function addbookmark(url, title){
	if (document.all)
	{
		return window.external.AddFavorite(url, title);
		return true;
	}
	else
	{
		alert('Please use <Ctrl-D> to bookmark this page.');
		return false;
	}
}