// JavaScript Document

<!--
function changeimg(img_name,img_src) {
document[img_name].src=img_src;
}

var linkOn = null;

function highlightLink(linkName) {
	if (linkOn) linkOn.style.fontWeight = '';
	linkOn=document.getElementById(linkName);
	linkOn.style.fontWeight = 'bold';
	}
		
//-->