Este codigo gera numeros random sem atualizar a pagina, precisa de dois arquivos para funcionar

Este codigo gera numeros random sem atualizar a pagina, precisa de dois arquivos para funcionar Codigo para o arquivo HTML: <html><body> <script type="text/javascript">function Ajax(){ var xmlHttp; try{ xmlHttp=new XMLHttpRequest();// Firefox, Opera 8.0+, Safari } catch (e){ try{ xmlHttp=new ActiveXObject("Msxml2.XMLHTTP"); // Internet Explorer } catch (e){ try{ xmlHttp=new ActiveXObject("Microsoft.XMLHTTP"); } catch (e){ alert("No AJAX!?"); return false; } } } xmlHttp.onreadystatechange=function(){ if(xmlHttp.readyState==4){ document.getElementById('ReloadThis').innerHTML=xmlHttp.responseText; setTimeout('Ajax()',1000); } } xmlHttp.open("GET","Nome_do_Arquivo.php",true); // aqui configuramos o arquivo xmlHttp.send(null); } window.onload=function(){ setTimeout('Ajax()',1000); // aqui o tempo entre uma atualiza??o e outra } </script> <div id="ReloadThis"></div> </body></html> Codigo para o arquivo PHP: <?php echo rand(1000,5000); ?>