function addBookmark(url)
{
    if (window.external) {
	external.AddFavorite(url, document.title);
	return false;
    } else {
	return true;
    }
}