text: /*global document */
  (function() {
  	var source = document.getElementsByClassName('prettyprint source linenums');
  	var i = 0;
  	var lineNumber = 0;
  	var lineId;
  	var lines;
  	var totalLines;
  	var anchorHash;
  
  	if (source && source[0]) {
  		anchorHash = document.location.hash.substring(1);
  		lines = source[0].getElementsByTagName('li');
  		totalLines = lines.length;
  
  		for (; i < totalLines; i++) {
  			lineNumber++;
  			lineId = 'line' + lineNumber;
  			lines[i].id = lineId;
  			if (lineId === anchorHash) {
  				lines[i].className += ' selected';
  			}
  		}
  	}
  })();
  