function buttonOver(buttonName)
 {
 // document.getElementById('div' + buttonName).style.backgroundColor='#BB99BB';
  document.getElementById('div' + buttonName).style.borderColor='#CC0066';
 }
function buttonOut(buttonName)
 {
  document.getElementById('div' + buttonName).style.borderColor='#E7E7FF';
 }