function autoRefresh()
  {
    setInterval ( "self.location.reload()", 300000 );
  }