<!--//
function SetTitle() { top.document.title=document.title; }

var mouseX = 0;
var mouseY = 0;

//variables
var IE = (navigator.appName == "Microsoft Internet Explorer") ? 1 : 0;
var NS = (navigator.appName == "Netscape") ? 1 : 0;
var hideMenu = null;

function getCoords(myEvent) {
	mouseX = (NS?myEvent.pageX:event.x);
	mouseY = (NS?myEvent.pageY:event.y);
	} 

document.onmousemove = getCoords;

function HideNavigator() { 
	var obj = (NS?document.getElementById('navigator'):document.all['navigator']);
	obj.style.visibility = 'hidden';
	}

function ShowNavigator() {
	clearTimeout(hideMenu);
	var obj = (NS?document.getElementById('navigator'):document.all['navigator']);
	obj.style.left = mouseX;
	obj.style.top = mouseY;
	obj.style.visibility = 'visible';
	}

function SubHide() {
	hideMenu=setTimeout('HideNavigator()',500);
	}

function SubShow() {
	clearTimeout(hideMenu);
	}

//-->