function showLineNumbers() {
			 /************************************ 
			 * Written by Andreas Papadopoulos   *
			 * http://akomaenablog.blogspot.com  *
			 * akoma1blog@yahoo.com              *
			 ************************************/
			  var isIE = navigator.appName.indexOf('Microsoft') != -1;
			
			  var preElems = document.getElementsByTagName('pre');
			  if (preElems.length == 0) return;
			  for (var i = 0; i < preElems.length; i++) {
			    var pre = preElems[i];
			    var oldContent = pre.innerHTML;
			    oldContent = oldContent.replace(/ /g,"&nbsp;");
			    var strs = oldContent.split("\n");
			    if (isIE) {
			       strs = oldContent.split("\n");
			    }
			
			    oldContent = oldContent.substring(1); //remove the 1st character
			    var newContent = "<table><tr>";
			    newContent += "<td class='line_numbers'>";
			    for(var j=1; j < strs.length - 1; j++) {
			        newContent += j+"<br>";
			    }
			    newContent += "</td><td> </td><td>";
			    newContent += oldContent;
			    newContent += "</td></tr></table>";
			
			    pre.innerHTML = newContent;
			    
			  }
			}