3 var source = document.getElementsByClassName('prettyprint source linenums');
11 if (source && source[0]) {
12 anchorHash = document.location.hash.substring(1);
13 lines = source[0].getElementsByTagName('li');
14 totalLines = lines.length;
16 for (; i < totalLines; i++) {
18 lineId = 'line' + lineNumber;
20 if (lineId === anchorHash) {
21 lines[i].className += ' selected';