function mr_fixFF_frames2(){
  // FF3 gets iframe sources mixed up. This script forces the iframe contents to be reloaded into the correct iframe if the page is refreshed
  // (uses the cookie FFLoc to determine if page was refreshed
  if (navigator.appName != 'Microsoft Internet Explorer'){
    var iFFLocCookieStart = document.cookie.indexOf('FFLoc=') + 6;
    if(iFFLocCookieStart != 5){ // indexOf returns -1 if cookie not found
      var iFFLocCookieEnd = document.cookie.indexOf(";",iFFLocCookieStart);
      if(iFFLocCookieEnd == -1){
        iFFLocCookieEnd=document.cookie.length;
      }
      if(unescape(document.cookie.substring(iFFLocCookieStart, iFFLocCookieEnd)) == window.location.pathname + window.location.search){
        var f = document.getElementsByTagName('iframe');
        for (var i=0; i<f.length; i++){
          if(f[i].src.indexOf(document.location.href) == -1){
            f[i].src = f[i].src;
          }
        }
      }
    }
    document.cookie= "FFLoc=" + escape(window.location.pathname + window.location.search);
  }
}