<!--
function lighten(num) {
 if (document.images)
  eval("document.button"+num+".src = lighted_pics["+num+"].src;");
 return false;
}
function darken(num) {
 if (document.images)
  eval("document.button"+num+".src = darkened_pics["+num+"].src;");
 return false;
 }
// -->