var hashElement = function(wholeMatch,m1) {	var blockText = m1;	// Undo double lines	blockText = blockText.replace(/\n\n/g,"\n");	blockText = blockText.replace(/^\n/,"");		// strip trailing blank lines	blockText = blockText.replace(/\n+$/g,"");		// Replace the element text with a marker ("~KxK" where x is its key)	blockText = "\n\n~K" + (g_html_blocks.push(blockText)-1) + "K\n\n";		return blockText;};
5733	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5733/bb7ba4f85620c5ad07e48227c0a1b87153a9c92a/showdown.js/buggy/Docs/assets/showdown.js