window.onload = function()
{
    if (navigator.product=="Gecko" && navigator.userAgent.indexOf("rv:1.7")>=-1)
    {
	var s = document.body.style;
	s.display = "none";
	s.display = "";
    }
}

function AddToFavorite(document_title)
{
    if (window.sidebar)
	window.sidebar.addPanel(document_title, document.location, "");
    window.external.AddFavorite(document.location, document_title);
}