function text_class_modify(name,style) {
   items=document.anchors.length;
   for(i=0;i<items;i++) {
      if(document.anchors[i].name==name) break;
   }
   document.anchors[i].className=style;
   return;
}