<!--
function buttonDefs()
{
   if (document.images) {
      var len = document.images.length;
      for (i=0;i<len;i++)
      {
         tgx = String(document.images[i].name); // make this a string!
         tgt = tgx.split("_button",1);
         // alert ("buttonDefs found tgx: " + tgx + " and tgt: " + tgt)
         if ( tgt == tgx) continue;
//
         imgPlain = tgt + "_plain"; // set as image root
         // alert ("Evaluating: " + imgPlain + " = new Image");
         x = eval (imgPlain + "= new Image()"); // set contents of imgPlain as new image
         x = eval (imgPlain + ".src = '../images/buttons/' + tgt + '_plain.gif'"); // set contents of imgPlain source
//
         imgEM = tgt + "_EM"; // set up EMphasised image
         // alert ("set images for target: " + imgEM);
         x = eval (imgEM + "= new Image()"); // set contents of imgEM as new image
         x = eval (imgEM + ".src = '../images/buttons/' + tgt + '_EM.gif'") ; // set contents of imgEM source
         // alert ("set images for target: " + tgt);
      }
   }
else alert ("Warning: found no document images!");
}

// -->