var ptip
function call_ptip(str)
{
if (str.length==0)
  { 
  document.getElementById("pro_tip_div").innerHTML="";
  return;
  }
ptip=GetXmlHttpObject()
if (ptip==null)
  {
  alert ("Your browser does not support AJAX!");
  return;
  } 
var url=str;
url=url+"&sid="+Math.random();
ptip.onreadystatechange=stateChangedptip;
ptip.open("GET",url,true);
ptip.send(null);
} 
function stateChangedptip() 
{ 
if (ptip.readyState==4)
{ 
document.getElementById("pro_tip_div").innerHTML=ptip.responseText;
}
}

function GetXmlHttpObject()
{
var ptip=null;
try
  {
  // Firefox, Opera 8.0+, Safari
  ptip=new XMLHttpRequest();
  }
catch (e)
  {
  // Internet Explorer
  try
    {
    ptip=new ActiveXObject("Msxml2.XMLHTTP");
    }
  catch (e)
    {
    ptip=new ActiveXObject("Microsoft.XMLHTTP");
    }
  }
return ptip;
}