<!--  // highlighted background, walter@slikmedia.comfunction hl(e, a){  e.style.background = a ? '' : '';  return true;}// -->