function ChangeStyle(element, over, id) {
  if (over) {
    element.style.cursor='pointer';
    element.style.backgroundColor='#7593D9';
    element.style.color='#000000';
    document.getElementById('link_' + id).style.color='#000000';
  } else {
    element.style.backgroundColor='#96B5FC';
    element.style.color='#FFFFFF';
    document.getElementById('link_' + id).style.color='#FFFFFF';
  }
}