// JavaScript source code

// $Revision: 134 $
// $Date: 2011-01-26 14:29:00 +0000 (Wed, 26 Jan 2011) $

function changeImage(id, name, width, height) {
  // change the image
  if ( document.getElementById && document.images ) {
    imgObj = document.getElementById(id)
    imgObj.src = document[name].src;
    imgObj.width = width;
    imgObj.height = height;
  }
}

function preloadImage(name, src) {
  if ( document.images ) {
    document[name] = new Image;
    document[name].src = src
  }
}