var html = document.getElementById('cont').innerHTML;
html = html.replace("<PRE>","");
html = html.replace("</PRE>","");
html = html.replace("<pre>","");
html = html.replace("</pre>","");
html = html.split("\r").join("<br><br>");
/*
html = html.split('size=12').join("");
html = html.split('<P><FONT color=#333333 ></FONT></P>').join("");
*/
//alert(html)


function OpenWnd(url)
{
	wnd = window.open(url,'','height=500,width=750,status=no,toolbar=no,menubar=no,scrollbars=yes,resizable=yes,location=no,top=100,left=150');
}