/*
 * Sets the src property of an image.
 *
 * image: the image id.
 * src: the image's src value.
 */
function rollover(id, src) {
  var image = document.getElementById(id);
  if (image != null)
    image.src = src;
}