function reFresh() {
  location.reload(true)
}
/* 1 minute = 60000 milliseconds.  180000 = 3 minutes  */
window.setInterval("reFresh()",180000);