/** 
Called when the button is moused over. 
**/ 
function highlightButton( button, bkcolor, brdrcolor, txtcolor  ){ 

  button.style.backgroundColor = bkcolor; 
  button.style.borderColor = brdrcolor; 
  button.style.Color = txtcolor; 
} 

/** 
Called when the button is moused out. 
**/ 
function dimButton( button, bkcolor, brdrcolor, txtcolor  ){ 

   button.style.backgroundColor = bkcolor; 
   button.style.borderColor = brdrcolor; 

}