<!--
var gIdxCurrentTab="";
function SwitchIdxTab(tabID)
{
	if(gIdxCurrentTab!="") gIdxCurrentTab.style.display="none";
	gIdxCurrentTab = document.getElementById(tabID);
	gIdxCurrentTab.style.display="";
}

function bookmarksite(title, url)
{
	if (document.all)
		window.external.AddFavorite(url, title);
	else if (window.sidebar)
		window.sidebar.addPanel(title, url, "");
}
-->