Sono d'accordo con Vincent, ma se proprio la tua situazione è questa e non vuoi cambiarla questo codice dovrebbe fare per te.
Ogni 5 secondi viene lanciato l'aggiornamento della pagina passando in querystring la pagina corrente nell'iframe.
codice:
<script language="JavaScript">
  var pagina = "";
  
  if(location.search) {
    // Leggo la query string escludendo il carattere iniziale
    // Es: "?pagina=valore"
    var qString = location.search.substr(1);
    // Si legge il valore a destra dell'uguale
    var pagina = qString.split("=")[1];
  }
  else
    pagina = "a.htm"; // Pagina di default aperta nell'iframe
  
  function Ricarica() {
    var pag = ifrProva.document.location.href;
    window.document.location.href = "Prova.htm?pagina=" + pag;
  }

  setInterval("Ricarica()", 5000);
</script>

<body>
  <script language="JavaScript">
  document.write("<IFRAME src=" + pagina + " id=\"ifrProva\"/></IFRAME>");
  </script>
</body>