function setHighlight(id, show)
{

  var divs = document.getElementsByTagName('div')

  for (var i = 0; i < divs.length; i++)
  {
    div = divs[i]
    if ((div.getAttribute('id') != null)
        && (div.getAttribute('id').indexOf(id) == 0))
    {
      if (show)
      {
        div.className = 'pageLinkHover'
      }
      else
      {
        div.className = 'pageLink'
      }
    }
  }
}