lrtfm

	//add line num for the code in Elenment "<pre><code>"
	function addLineNum() 
	{
		try {
			var mycode = document.getElementsByTagName("code");
			var space = /^[ \t\b]*$/;
			//var times = mycode.length;
			for (var loop = 0; loop < mycode.length; ) {
				var s = mycode[loop];
				var p = s.parentNode;