code.replace(/\n{3,}/g, "\n\n");
	*/
	code = escapeHtmlChar(code);
	code = renderColor(code);
	document.getElementById("code_view").innerHTML = "<pre id='code_color'  >" + code + "</pre>";
	var lineList = code.split("\n");
	var lineCount = lineList.length;
	var lineText = "";
	for(var i=0; i<lineCount; ++i){
		lineText += (i + 1) + "\n";
	}
	document.getElementById("line_number").innerHTML = "<pre>" + lineText + "</pre>";
}

function getCode(code){
	return document.getElementById("code_view").innerText;
}

