...
<div class="result"></div>
<div id="read"></div>
<script type="text/javascript" src="jquery-latest.min.js"></script>
<script src="jquery-1.8.0.min.js"></script>
<script>
var riga="0";
function refresh_div() {
jQuery.ajax({
url:'prova.php',
type:'POST',
data: {'num_righe': riga},
success:function(results) {
jQuery(".result").html(results);
}
});
$.get('records.txt', function(file) {
var riga = file.split(";");
document.getElementById("read").innerHTML = riga;
});
}
t = setInterval(refresh_div,3000);
</script>
...