!function(){var e,t,n,s,l=document.getElementsByClassName("prettyprint source linenums"),a=0,i=0;if(l&&l[0])for(s=document.location.hash.substring(1),t=l[0].getElementsByTagName("li"),n=t.length;a<n;a++)i++,e="line"+i,t[a].id=e,e===s&&(t[a].className+=" selected")}();