// function autorefresh_start() {
//  setTimeout('autorefresh();', 4000);
// }

// function autorefresh() {
//  var current_location = window.location;
//  window.location.reload(true);
//  setTimeout('autorefresh', 4000);
// }