var dropDownMenu;
var timeout;
var shown = false;

function toggleDropDown()
{
	dropDownMenu = document.getElementById('drop_down');
	
	if ((dropDownMenu.style.display == '') || (dropDownMenu.style.display == 'none'))
	{
		dropDownMenu.style.display = "block";
	}
	else
	{
		dropDownMenu.style.display = "none";
	}
}

function showDropDown()
{
	dropDownMenu.style.display = "block";
	clearTimeout(timeout);
}

function hideDropDown()
{
	timeout = setTimeout(hide, 600);
	
	function hide() {
		if (typeof dropDownMenu != 'undefined')
		{
			dropDownMenu.style.display = "none";
		}
	}
}