var badbrowser;
var goodbrowser;

function init( )
{
	advancedsearch = 0;
	treeview = false;
	treeloaded = false;
	badbrowser = false;
	resize( );
	
	if (/MSIE (\d+\.\d+);/.test(navigator.userAgent))
	{
		var ieversion=new Number(RegExp.$1)	
		if( ieversion == 6 )
		{
			badbrowser = true;
		}
		goodbrowser = ( ieversion >= 6 );
	}
	else
	{
		var browsername = navigator.appName;
		var browserversion = parseFloat( navigator.appVersion );
		goodbrowser = ( ( browsername == 'Netscape' && browserversion >= 5 ) );
	}
	if( !goodbrowser ) document.getElementById( 'badBrowser' ).style.display = 'block';
}

function resize( )
{
}

function revealMenu( button, menunumber )
{
	var menu = document.getElementById( menunumber );
	menu.style.display = 'block';
	button.parentNode.style.display = 'block';
	menu.style.left = ( button.className == 'subMenu' || button.className == 'subMenuHover' ? 
							( button.parentNode.offsetLeft + button.parentNode.offsetWidth - 1 ) :
							( button.offsetLeft ) ) + 'px';
	menu.style.top = ( button.className == 'subMenu' || button.className == 'subMenuHover' ? 
							( button.offsetTop + button.parentNode.offsetTop ) :
							( document.getElementById( 'menu' ).offsetHeight - 2 )  ) + 'px';
	menu.style.zIndex = 50;
}

function hideMenu( menunumber )
{
	var menu = document.getElementById( menunumber );
	menu.style.display = 'none';
}

function loseMenu( menu )
{
	menu.style.display = 'none';
	var id = menu.id;
	var top = document.getElementById( 'top-' + id );
	if( top.className.match( 'Hover' )  ) top.className = top.className.substring( 0,
											top.className.lastIndexOf( 'Hover' ) );
	id = id.substring( 0, id.lastIndexOf( '-' ) );
	if( id != 'menu' ) loseMenu( document.getElementById( id ) );
}

function keepMenu( menu )
{
	falseout = 
	menu.style.display = 'block';
	var id = menu.id;
	var top = document.getElementById( 'top-' + id );
	if( !top.className.match( 'Hover' )  ) top.className = top.className + 'Hover';
	id = id.substring( 0, id.lastIndexOf( '-' ) );
	if( id != 'menu' ) keepMenu( document.getElementById( id ) );
}

function closeBadBrowser( )
{
	var pending = document.getElementById( 'badBrowser' );
	if( pending ) pending.style.display = 'none';
}