return new Showdown.converter().makeHtml(text); 
return new Showdown.converter().makeHtml(text); 
var ShowDown = function(text){	return new Showdown.converter().makeHtml(text);};
5733	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5733/bc740cadb1a3e0cfcab41f3c23ce23ddd071cd6a/docs.js/buggy/Docs/assets/docs.js