/* 
* modified from original script by Javascript-array.com
* original script: Simple Drop Down Menu
* URL: http://javascript-array.com/scripts/simple_drop_down_menu/
* Copyright: Copyright 2006-2007 javascript-array.com
*/

var timerset = 0;
var menublock = 0;
var timer = 500;


function tabOpen(id)
{
	cancelTimer();

	if (menublock)
		menublock.style.visibility="hidden";

	menublock = document.getElementById(id);
	menublock.style.visibility="visible";
}

function tabTimer()
{
	timerset = window.setTimeout("tabClose()", timer);
}

function tabClose()
{
	if (menublock) 
		menublock.style.visibility="hidden";

}

function cancelTimer()
{
	if (timerset)
	{
		window.clearTimeout(timerset);
		timerset = null;
	}

}