	<!-- Inserts a random header image for the <DIV id="top-nav"...> tag
	function random_imglink(){
	var myimages=new Array()

	myimages[1]="images/header-1.jpg"
	myimages[2]="images/header-2.jpg"
	myimages[3]="images/header-3.jpg"
	myimages[4]="images/header-4.jpg"


	var ry=Math.floor(Math.random()*myimages.length)
	if (ry==0)
	ry=1
	document.write('<div id="top-nav" style="background: #6D7481 bottom left url('+myimages[ry]+') no-repeat">')
	}

