var js_objStr = "id_href_item_" + strItemToHighlight;
  var js_obj;

  js_obj = document.getElementById(js_objStr);
   
  if (js_obj){
          
    js_obj.className = "highlighted";
           
  }
  
  var js_subobjStr = "sub_id_href_item_" + sub_strItemToHighlight;
  var js_subobj;

  js_subobj = document.getElementById(js_subobjStr);
   
  if (js_subobj){
          
    js_subobj.className = "sub_highlighted";
           
  }