// Replaces getElementById
function get_obj(id)
{
	return document.getElementById(id);
}

function bookmark(bookmarkurl, bookmarktitle)
{
	if (document.all)
	{
		window.external.AddFavorite(bookmarkurl,bookmarktitle);
	}
	else if (window.sidebar) // firefox
	{
		window.sidebar.addPanel(bookmarktitle, bookmarkurl, "");
	}
}