function $() {
  var elements = new Array();

  for (var i = 0; i < arguments.length; i++) {
    var element = arguments[i];
    if (typeof element == 'string')
      element = document.getElementById(element);

    if (arguments.length == 1) 
      return element;

    elements.push(element);
  }

  return elements;
}


function turnon(imgName) {
  if (document.images) 
    document.images[imgName].src = eval(imgName + "on.src");
}

function turnoff(imgName) {
  if (document.images)
    document.images[imgName].src = eval(imgName + ".src");
}


function highlight(tdName) {
  if (document.images) 
	   $(tdName).className = "subon";
}

function lightoff(tdName) {
  if (document.images)
	   $(tdName).className = "sub";
}