var xmlhttp;
function hello(){
xmlhttp=ajax1();
var a=document.getElementById('a').value;
var b=document.getElementById('b').value;
var url='demo02.php?a='+a+'&b='+b;
xmlhttp.open('get',url);
xmlhttp.onreadystatechange=display;
xmlhttp.send();}
function display()
{
if(xmlhttp.readyState==4 && xmlhttp.status==200)
document.getElementById('text1').value=xmlhttp.responseText;
}