var tabs = [];
// standard functions regardless of page contents
function setTab(tab, subtab)
{
	// set tab
	if( tabs[tab] != null ) tabs[tab].over();	
	if( tab && subtab )
	{	
		var o = document.getElementById("subtab_" + tab + "_" + subtab );
		if( o )
			o.className = "subTabOn";
	}
}