// JavaScript Document
function bookmark(url, title)
	{
		if(document.all)
		{
			window.external.AddFavorite(url, title);
		}
	}