<!--

function changeStyle(element_id,style)
{
  var div=document.getElementById(element_id);
  if (div) div.className=style;
}

//-->