function SameH(leftDiv,rightDiv)
{
var a=document.getElementById(leftDiv);
var b=document.getElementById(rightDiv);
if (a.scrollHeight < b.scrollHeight)
{
a.style.height= b.scrollHeight+40;
}
else (a.scrollHeight > b.scrollHeight)
{
b.style.height= a.scrollHeight;
}
}

function SameH1(leftDiv,rightDiv)
{
var a=document.getElementById(leftDiv);
var b=document.getElementById(rightDiv);
if (a.scrollHeight < b.scrollHeight)
{
a.style.height= b.scrollHeight-102;
}
else (a.scrollHeight > b.scrollHeight)
{
b.style.height= a.scrollHeight+153;
}
}

function SameHT(leftDiv,rightDiv,h1,h2)
{
var a=document.getElementById(leftDiv);
var b=document.getElementById(rightDiv);
if (a.scrollHeight < b.scrollHeight)
{
a.style.height= b.scrollHeight-h1;

}
else (a.scrollHeight > b.scrollHeight)
{
b.style.height= a.scrollHeight+h2;
}
}

function cleanAndPaste( html ) {
	html = html.replace(/<\/?SPAN[^>]*>/gi, "" );
	html = html.replace(/<(\w[^>]*) class=([^ |>]*)([^>]*)/gi, "<$1$3") ;
	html = html.replace(/<(\w[^>]*) style="([^"]*)"([^>]*)/gi, "<$1$3") ;
	html = html.replace(/<(\w[^>]*) lang=([^ |>]*)([^>]*)/gi, "<$1$3") ;
	html = html.replace(/<\\?\?xml[^>]*>/gi, "") ;
	html = html.replace(/<\/?\w+:[^>]*>/gi, "") ;
	html = html.replace(/&nbsp;/, " " );
	return html;
}