//Top drop down menu
function showtopmenu(elmnt)
{
	document.all(elmnt).style.visibility="visible"
}

function hidetopmenu(elmnt)
{
	document.all(elmnt).style.visibility="hidden"
}

//Sliding horizontal left menu
var i=-124
var intHide
var intShow
var speed=4

function showmenu()
{
	clearInterval(intHide)
	intShow=setInterval("show()",10)
}

function hidemenu()
{
	clearInterval(intShow)
	intHide=setInterval("hide()",10)
}

function show()
{
	if (i<-2)
	{
		i=i+speed
		leftMenu.style.left=i
	}
}

function hide()
{
	if (i>-124)
	{
		i=i-speed
		leftMenu.style.left=i
	}
}

//Always-on-top function for menu
var timer
function scrolltop()
{
	//scrollmenu.style.pixelTop=document.body.scrollTop
	//rightscrollmenu.style.pixelTop=document.body.scrollTop
	timer=setTimeout("scrolltop()",1)
}

function stoptimer()
{
	clearTimeout(timer)
}

