rem: if (HeadingsList[i].name == name) 
add: dump("HeadingListItem"+i+": "+HeadingsList.options[i].value+"\n"); if (HeadingsList.options[i].value == text) 
context: function GetExistingHeadingIndex(text){  for (i=0; i < HeadingsList.length; i++) {    if (HeadingsList[i].name == name)      return i;  }  return -1;}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/712a9be961ac07f8dbdb623250724a21a6d5b2bd/EdLinkProps.js/clean/editor/ui/dialogs/content/EdLinkProps.js