anchor.diff:      if (ua && ua.msie && parseInt(ua.version, 10) < 9) { // removed in 1.9.1
           new Notification({message: '<fmt:message key="old.browser"/>'}).render();
       }
  +}
  +
  +function setOption (ns, key, val) {
  +    var i, step, options = (window.intermine && window.intermine.options);
  +    if (!options) return;
  +    for (i = 0; i < ns.length; i++) {
  +        step = ns[i];
  +        options = options[step] || (options[step] = {});
  +    }
  +    options[key] = val;
   }
   
   function reportVersion (v) {
  
positive.code:         </span>
        </div>
      </c:if>
  
      <c:if test="${!empty fixedLayout}">
        </div>
      </c:if>
  
negative.code:   jQuery("p#contactUsLink").toggle();
    });
  
  setOption(['CDN'], 'server', "${WEB_PROPERTIES['head.cdn.location']}");
  
  if ((typeof intermine != 'undefined') && (intermine.Service != null)) {
      // Set up the service, if required.
      var root = window.location.protocol + "//" + window.location.host + "/${WEB_PROPERTIES['webapp.path']}";
      if (!intermine.funcutils && window.imjs && window.imjs.utils) {
        intermine.funcutils = window.imjs.utils;
      }
      $SERVICE = new intermine.Service({
          "root": root,
          "token": "${PROFILE.dayToken}",
          "help": "${WEB_PROPERTIES['feedback.destination']}"
      });
      
      var notification = new FailureNotification({message: $SERVICE.root + " is incorrect"});
  
      $SERVICE.fetchVersion().then(reportVersion, notification.render);
    
      // Load list widgets.  
      (function() {
        if (window['list-widgets'] != null) {
          // Make sure we have all deps required in `global.web.properties`, otherwise we fail!!!
  