function Hover()
{
	// Mark B 
	// This function only needs to be called in IE6 and below because they don't support :hover properly
	// alert('Using Javascript:\n\n' + navigator.userAgent + ' - ver ' + navigator.appVersion);
	
	var uls = document.getElementById('nav');
	var stubs = new Array();
	var a = nav.getElementsByTagName('a');
			
	for(var i=0; i<a.length; i++)
	{
		if(a[i].className == 'stub') { stubs[stubs.length] = a[i]; }
	}
	
	for(var x=0; x<stubs.length; x++)
	{
		var li = stubs[x].parentNode;
		
		if(li && li.lastChild.style) 
		{
			li.onmouseover = function() { this.lastChild.style.visibility = 'visible'; }
			li.onmouseout = function() { this.lastChild.style.visibility = 'hidden'; }
		}
	}
}

function Log(msg)
{
	var logwindow = document.getElementById('log').getElementsByTagName('div')[0];
	var log = logwindow.innerHTML;
	
	logwindow.innerHTML = '<p><span>' + new Date().toString() + '</span><br />' + msg + '</p>' + log;
}

function ClearLog()
{
	document.getElementById('log').getElementsByTagName('div')[0].innerHTML = '';
}