// JavaScript Document
function add_bookmark(url, title){
	if (document.all && document.all.item && !window.opera) window.external.AddFavorite(url, title);
	return false;
}