function getObjectFromID(id){
	var theObject;
	if(document.getElementById)
		theObject=document.getElementById(id);
	else
		theObject=document.all[id];
	return theObject;
}

vTabTimeout=0;

function vTabOver(){
	//cancel any timeouts
	if(vTabTimeout!=0){
		window.clearTimeout(vTabTimeout);
		vTabTimeout=0;
	}
	
	var theTab=getObjectFromID("theNav")
	theTab.style.display="block";
}
function vTabOut(){
	var theTab=getObjectFromID("theNav")
	theTab.style.display="none";
	vTabTimeout=0;
}