//
//
// Menu Interfaces
//
// 

function MenuDriver()
{
}

// init menu driver
MenuDriver.menus = [0, 0, 0, 0, 0, 0, 0, 0, 0, 0];

// begin the process of showing
MenuDriver.showMenu = function(id)
{  
	MenuDriver.menus[id]++;
	if (MenuDriver.menus[id] == 1)
	{
		getElement('menu' + id).style.display = '';
	}
}

// hide an element immediately
MenuDriver.hideMenu = function(id)
{
	getElement('menu' + id).style.display = 'none';
}

// begin waiting for a timeout
MenuDriver.onMenuOut = function(id)
{
	MenuDriver.menus[id]--;
	setTimeout('menu' + id + 'timeout()', 10);
}
				
// timeout handlers
function menu0timeout() { 
	if (MenuDriver.menus[0] == 0) { MenuDriver.hideMenu(0); }
}

function menu1timeout() { 
	if (MenuDriver.menus[1] == 0) { MenuDriver.hideMenu(1); }
}

function menu2timeout() { 
	if (MenuDriver.menus[2] == 0) { MenuDriver.hideMenu(2); }
}

function menu3timeout() { 
	if (MenuDriver.menus[3] == 0) { MenuDriver.hideMenu(3); }
}

function menu4timeout() { 
	if (MenuDriver.menus[4] == 0) { MenuDriver.hideMenu(4); }
}

function menu5timeout() { 
	if (MenuDriver.menus[5] == 0) { MenuDriver.hideMenu(5); }
}

function menu6timeout() { 
	if (MenuDriver.menus[6] == 0) { MenuDriver.hideMenu(6); }
}