<!--
function over (buttonName) {
   document.images[buttonName].src = "images/note-rollover.gif";}

function out (buttonName) {
  document.images[buttonName].src = "images/arrowoff2.gif";}
// -->