//menu voor firefox/IE


var x;
var y;

function mouseMoved(e){
    if(!document.layers&&document.all)//firefox
    	e = event;
    x = document.body.scrollLeft+e.clientX;
    y = document.body.scrollTop+e.clientY;
}

document.onmousemove = mouseMoved;//firefox/ie

var mayHide = true;

var menu = null;
function doMenu()
{
	checkInited();
	if(document.all)
		change = menu.clientHeight;//ie
	else change = menu.offsetHeight;//firefox
	stopCounter()
	if(menu.style.visibility == 'hidden' || menu.style.visibility == '')
	{
		menu.style.visibility = 'visible';
		menu.style.top = y - change-10;
		menu.style.left = x;
	}
}

var undoCounter = -1;
function undoMenu()
{
	checkInited();
	if(undoCounter==-1)
		undoCounter = window.setInterval(hideMenu, 1000);
}


function checkInited()
{
	if(menu==null)
		menu = document.getElementById('menu');
}


function hideMenu()
{
	stopCounter();
	menu.style.visibility = 'hidden';
}

function stopCounter()
{
	if(undoCounter!=-1)
	{
		window.clearInterval(undoCounter);
		undoCounter = -1;
	}
}