anchor.diff:  <script type="text/javascript"> 
   <!-- JQuery Section: ANNOTATIONS HISTORY (VIA AJAX) JAVASCRIPT -->
   
  +var currentProfileIndex = -1;
  +
   //json array of images representing the enabled action buttons
   var enabled_buttons = {
   		"archive":			'images/multi-archive-enabled.gif',
  
positive.code: 					<tr>
  						<td colspan="9">
  							<div id="editorDiv">
  								<textarea id="h3RawProfile" name="h3RawProfile" form="profileoverrides"/>
  								</textarea>
  							</div>
  							<script>
  								codeMirrorInstance = CodeMirror.fromTextArea(document.getElementById("h3RawProfile"),
  
negative.code: 	});
  });
  
  function getSelectedProfile(profilesList) {
  	var oid = document.getElementById('profileOid');
      currentProfileIndex = profilesList.map(function(elem) { return elem.oid; }).indexOf(oid.options[oid.selectedIndex].value);
  	return profilesList[currentProfileIndex];
  }
  
  </script>
  