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






function changemain(file){

alert(file);


xmlHttp.open("POST","fabmain.php",true);
xmlHttp.onreadystatechange=function(){
stateChanged("main1");
}
// the following code is for POST in ajax

xmlHttp.setRequestHeader("If-Modified-Since", "Sat, 1 Jan 2000 00:00:00 GMT");
xmlHttp.setRequestHeader("Content-type", "application/x-www-form-urlencoded");
//xmlHttp.setRequestHeader("Content-length", parameters.length);
xmlHttp.setRequestHeader("Connection", "close");


xmlHttp.send("file="+file);


//eval(document.getElementById('main1').getElementsByTagName('script')[0].innerHTML);


}


function setAndExecute(divId, innerHTML)
{
var div = document.getElementById(divId);
div.innerHTML = innerHTML;
var x = div.getElementsByTagName("script"); 
for(var i=0;i<x.length;i++)
{
eval(x[i].text);
}
}



function stateChanged(x) 
{ 

if (xmlHttp.readyState==4)
{ 

document.getElementById(x).innerHTML=xmlHttp.responseText;

alert(xmlHttp.responseText);

//eval(document.getElementById("hello").innerHTML);
eval(document.getElementById('main1').getElementsByTagName('script')[0].innerHTML);

//setAndExecute(x, xmlHttp.responseText);

}
}