function fix_comment(text) {
	//delete double hyphens from the comment text
	text = text.replace(/--/g, "__");
	
	if(re_hyphen.exec(text)) { //last char must not be a hyphen
		text += " ";
	}
	
	return "<!--"+text+"-->";
}
//fix inner text of a comment
fix inner text of a comment
fix inner text of a comment
function fix_comment(text) {
	text = text.replace(/--/g, "__");
	if(re_hyphen.exec(text)) { 
		text += " ";
	}
	return "<!--"+text+"-->";
}
function fix_comment ( text ) { text = text . replace ( / -- / g , "__" ) ; if ( re_hyphen . exec ( text ) ) { text += " " ; } return "<!--" + text + "-->" ; }
fix inner text of a comment
fix inner text of a comment
//delete double hyphens from the comment text //last char must not be a hyphen