// JavaScript Document

function MM_preloadImages() { //v3.0
  var d=document; if(d.images){ if(!d.MM_p) d.MM_p=new Array();
    var i,j=d.MM_p.length,a=MM_preloadImages.arguments; for(i=0; i<a.length; i++)
    if (a[i].indexOf("#")!=0){ d.MM_p[j]=new Image; d.MM_p[j++].src=a[i];}}
}

function swapImage(elem)
{
  if (!document.getElementById) return false;
  document.getElementById('defaultImage').src = elem.href;
  document.getElementById('defaultImage').alt = elem.title; // not really needed, but doesn't hurt
  document.getElementById('title').innerHTML = elem.title;
  document.getElementById('desc').innerHTML = elem.name;
}