var oldHL;

function hl(e) {
  if(!e)
    e = window.event;

  if(e.target)
    el = e.target;
  else if(e.srcElement)
    el = e.srcElement;
  else
    return;

  if(oldHL) {
    oldHL.style.backgroundColor = '#c4c4a0';
    oldHL.style.color = 'white';
  }

  oldHL = el;
  el.style.backgroundColor = 'white';
  el.style.color = '#c4c4a0';
}
