anchor.diff:    }
     </script>
   
  -  <h3 class="goog">Link to other InterMines</h3>
  +  <h3 class="goog">Link to other Mines</h3>
         <div id="intermine_links" class="loading">&nbsp;</div><br>
           <script type="text/javascript" charset="utf-8">
             getMineLinks('${object.organism.shortName}','${object.primaryIdentifier}','${object.symbol}');
  
positive.code:           var jSONObject = jQuery.parseJSON(mines);
            generate(jSONObject, "#intermine_links");
        });
  	  //var jSONObject = [{"mineName":"ZFINMine","organisms":[{"shortName":"D. rerio","orthologues":[{"displayIdentifier":"\"\"","primaryIdentifier":"ENSDARG00000044216"}]},{"genes":{"shortName":"H. sapiens","orthologues":{"displayIdentifier":"\"\"","primaryIdentifier":"ENSG00000140718"}},"shortName":"H. sapiens"}]}, {"mineName":"modMine"}, {"mineName":"YeastMine"}, {"mineName":"FlyMine","organisms":[{"genes":{"shortName":"H. sapiens","orthologues":{"displayIdentifier":"ENSG00000140718","primaryIdentifier":"FTO"}},"shortName":"H. sapiens"}]}, {"mineName":"RatMine"}];
    }
  
    function generate(jSONObject, target) {
  	  jQuery('<ul/>', {
      	  'class': 'mines'
        })
        .appendTo(target);
  	  target += ' ul.mines';
        
        // for each mine in question...
        jQuery.each(jSONObject, function(key, entry) {
            if (entry['organisms'] != undefined) {
                // details dict
                var minePortalDetails = minePortals[entry['mineName'].toLowerCase()];
  
                var organismAttribute = '';   // only used for orthologue links
  
                // mine
                if (minePortalDetails["bgcolor"] != null && minePortalDetails["frontcolor"] != null) { // we have colors! aaaw, pretty...
  
negative.code:                             if (identifier == '""') {
                                  identifier = orthoEntry['primaryIdentifier'];
                              }
                              orthologue = '&orthologue=' + organismEntry['shortName'];
                            jQuery('<li/>', {
                                'text': identifier
                            })
  