(function(doc, html, url) {
  var widget = doc.createElement("div");
  widget.innerHTML = html;
  var script = doc.currentScript; // e = a.currentScript;
  if (!script) {
    var scripts = doc.scripts;
    for (var i = 0; i < scripts.length; ++i) {
      script = scripts[i];
      if (script.src && script.src.indexOf(url) != -1) break;
    }
  }
  script.parentElement.replaceChild(widget, script);
}(document, '<!-- no details widget for 10.1179/1461957115y.0000000003 -->', "/widgets/article/10.1179%25252F1461957115y.0000000003"));