// JavaScript source code

// $Revision: 65 $
// $Date: 2008-06-12 22:08:34 +0100 (Thu, 12 Jun 2008) $

function onloadListPage() {
  // change the header image in compliant browsers
  if ( document.getElementById ) {
    document.getElementById('header').src = 'images/header.gif';
  }
}

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
  }
}