!function(){"use strict";var n,e=0,t=document.getElementsByClassName("prettyprint");t&&t[0]&&(t=t[0].getElementsByTagName("code")[0],n=t.innerHTML.split("\n"),n=n.map(function(n){return e++,'<span id="source-line-'+e+'" class="line"></span>'+n}),t.innerHTML=n.join("\n"))}();