// JavaScript Document
function getHTMLFromTextAreEditor( text )
{
	if ( typeof( text ) != "string" )
		text = text.toString() ;
	text = text.replace("‚","'") ;
	text = text.replace("&","&");
	text = text.replace(""",'"');
	text = text.replace("&lt;","<");
	text = text.replace("&gt;",">") ;
	return text ;
}