var xmlTexthttp;

function ShowText(str)
{
xmlTexthttp=GetXmlTextHttpObject();
if (xmlTexthttp==null)
  {
  alert ("Browser does not support HTTP Request");
  return;
  }
var url="TextHighlight.php";
url=url+"?t="+str;
url=url+"&sid="+Math.random();
xmlTexthttp.onreadystatechange=TextstateChanged;
xmlTexthttp.open("GET",url,true);
xmlTexthttp.send(null);
}

function TextstateChanged()
{
if (xmlTexthttp.readyState==4)
{
document.getElementById("TextHigh").innerHTML=xmlTexthttp.responseText;
}
}

function GetXmlTextHttpObject()
{
if (window.XMLHttpRequest)
  {
  // code for IE7+, Firefox, Chrome, Opera, Safari
  return new XMLHttpRequest();
  }
if (window.ActiveXObject)
  {
  // code for IE6, IE5
  return new ActiveXObject("Microsoft.XMLHTTP");
  }
return null;
}