// JavaScript Document

if (document.images) {
  image9on = new Image();
  image9on.src = "TG-logo-online-red-125.gif";

  image9off = new Image();
  image9off.src = "TG-logo-online-blue-125.gif";

}

function changeImages() {
  if (document.images) {
    for (var i=0; i<changeImages.arguments.length; i+=2) {
      document[changeImages.arguments[i]].src = eval(changeImages.arguments[i+1] + ".src");
    }
  }
}