var subhigh;
function subhighlight(id)
{
  if(subhigh)
    {
      subhigh.className='';
    }
  subhigh=document.getElementById(id);
  if(subhigh)
    {
      subhigh.className='highlight';
    }
}