function xmlHttpFunction(URL){var xmlHttpReq;if(window.XMLHttpRequest){xmlHttpReq=new XMLHttpRequest();}
else if(window.ActiveXObject){xmlHttpReq=new ActiveXObject("Microsoft.XMLHTTP");}
else{return false;}
xmlHttpReq.onreadystatechange=function(){if(xmlHttpReq==4){}}
xmlHttpReq.open('POST',URL,true);xmlHttpReq.setRequestHeader('Content-Type','application/x-www-form-urlencoded');xmlHttpReq.send(getquerystring());}
function getquerystring(){str='pages='+escape(output);return str;}
function updatepage(str){}