/* Changes image being displayed. */
   function highlightButton(placeholder, imageObject) 
   {
     document.images[placeholder].src = eval( imageObject + ".src" )
   }