var selectedObj;

function highlight(obj) {
  if (obj != selectedObj)  
  obj.background="anim6.gif";
}

function dehighlight(obj) {
  if (obj != selectedObj) 
  obj.background="anim9.gif";
}

function closecontent() {
  obj = document.getElementById("content");
  obj.src = "EmptyPage.html";
  obj.style.visibility = "hidden";
  obj = document.getElementById("toolbar");
  obj.style.visibility = "hidden";
}

function openPage(obj, title, url) {
  if (obj == selectedObj && obj != null) {
    selectedObj = null;	
    closecontent();
    return;
  }
  if (selectedObj != null)
  	selectedObj.background = "anim9.gif";
  selectedObj = obj;
  obj.background="anim6.gif";
  obj = document.getElementById("content");
  obj.src = url;
  obj.className = title;
  obj.style.visibility = "visible";
}

function setpicture(src, text) {
  obj = document.getElementById("picdiv");
  obj.style.visibility = "visible";
  document.pic.src="./images/" + src;
  obj = document.getElementById("picdivtext");
  obj.innerHTML = text;
}

function closepicture() {
  document.pic.src='loading.gif';
  obj = document.getElementById("picdiv");
  obj.style.visibility = "hidden";  	
}