function highlight(element, bgcolor, fgcolor)
{
   element.style.backgroundColor=bgcolor;
   element.style.color=fgcolor;
   return;
}

function unhighlight(element)
{
   element.style.backgroundColor='';
   element.style.color='';
   return;
}