function redirectToFile() {
    window.location.href = 'index.html'; // Replace 'file.html' with the actual file you want to redirect to
  }