// all JScript, all the time

  function hOvr(e) {
    e.style.color = '#ff4444';
    e.style.backgroundColor= '#ffff66';
    e.style.cursor = 'pointer';
  }
  function hOut(e) {
    e.style.color = '';
    e.style.backgroundColor= '';
    e.style.cursor = '';
  }
  function btnOvr(e) {
    e.style.backgroundColor= '#c8c8c8';
    e.style.cursor = 'pointer';
    e.style.border = 'solid 1px Black';
  }
  function btnOut(e) {
    e.style.backgroundColor= '';
    e.style.cursor = '';
    e.style.border = 'solid 1px DarkGray';
  }