// JavaScript Document
var timeout	= 100;
var close_timer	= 0;
var container	= 0;

function show_submenu(id)
{
	cancel_timer();
	if(container) container.style.visibility = 'hidden';
	container = document.getElementById(id);
	var w = container.parentNode.clientWidth;
	if (container.parentNode.clientWidth > container.clientWidth) container.style.width = w+'px';
	container.style.visibility = 'visible'; 
}
function hide_menu()
{
	if(container) container.style.visibility = 'hidden';
}

function close_timer_set()
{
	close_timer = window.setTimeout(hide_menu, timeout);
}

function cancel_timer()
{
	if(close_timer)
	{
		window.clearTimeout(close_timer);
		close_timer = null;
	}
}

