<!--
	// navbar clock display

function displayClock()
{
	var now = new Date();
	year = now.getFullYear();
	var copyright = "©" + year;
	document.getElementById("copy").innerHTML = copyright;		// show current copyright year

	// create clock display
	document.getElementById("top").innerHTML = "<IMG src=\"NavSep.gif\" width=\"86\" height=\"9\" border=\"0\">";
	document.getElementById("time").style.width = "86px";
	document.getElementById("time").style.fontWeight = "bolder";
	document.getElementById("time").style.color = "#ffaa00";
	document.getElementById("time").style.backgroundColor = "black";
	document.getElementById("bot").innerHTML = "<IMG src=\"NavSep.gif\" width=\"86\" height=\"9\" border=\"0\">";
	
	updateClock();	// start loop to keep time display current 
}

function updateClock()
{
	var now = new Date();					// get current date & time
	var time = now.toLocaleTimeString();				// format time as Local time
	document.getElementById("time").innerHTML = time;		// update DIV element
	newtime = window.setTimeout("updateClock();", 1000);		// update clock display once per second
}

// unhide -->
