doton = new Image();
doton.src = "images/top_menu_dot_on.gif";
dotoff = new Image();
dotoff.src = "images/top_menu_dot_off.gif";
function hiLite(imgID,imgObjName) {
	document.images[imgID].src = eval(imgObjName + ".src")
}

function exchangeDisplay(id){
 if(document.getElementById(id).style.display == 'none')
 {
  document.getElementById(id).style.display = 'block';
 }
 else
 {
  document.getElementById(id).style.display = 'none';
 }
}