// Write out our hidden history IFrame for Safari	
var newContent = '<iframe id="historyFrame" ' 
																														+ ' style="position: absolute; top: -500px; left: -500px;"'
																														+ ' src="safariIFrame.html">'
																														+ '</iframe>';
document.write(newContent);

/** Initialize our DHTML history for Safari. */
function initializeDhtmlHistory() {
  // indicate that the page has been loaded before				
  var historyFrame = document.getElementById("historyFrame");
  var doc = historyFrame.contentDocument;
  var pageLoadedElem = doc.getElementById("isPageLoaded");
  pageLoadedElem.value = "true";

  window.programmaticChange = false;
}

function changeLocationSafari(newLocation) {
  var historyFrame = document.getElementById("historyFrame");
  var doc = historyFrame.contentDocument;
			
  // update the action to our new location
  var historyForm = doc.getElementById("historyForm");
  historyForm.action = "?" + newLocation;

  // save that our main page itself has been loaded
  var pageLoadedElem = doc.getElementById("isPageLoaded");
  pageLoadedElem.value = "true";

  // indicate that we now have some history
  var haveHistoryElem = doc.getElementById("haveHistory");
  haveHistoryElem.value = "true";

  // store our new location as a field, so it gets sent as a URL
  // parameter and saved
  var historyLocationField = doc.getElementById("historyLocation");
  historyLocationField.value = newLocation;

  // create a named anchor with this value
  var newAnchor = document.createElement("A");
  newAnchor.name = newLocation;
  document.body.appendChild(newAnchor);

  // now submit this form, which will save it into the history and
  // store its field values
  window.programmaticChange = true;
  historyForm.submit();
}

/** Returns whether we have any history or not. */
function haveHistory() { 
  var historyFrame = document.getElementById("historyFrame");
  var doc = historyFrame.contentDocument;
  var haveHistory = doc.getElementById("haveHistory").value;
  if (haveHistory == "true") {
    return true;
  }
  else {
    return false;
  }
}

window.debugMsg = function(msg) { 
  document.getElementById("debugConsole").innerHTML = msg; 
}

window.historyLoaded = function(newLocation) {
  window.debugMsg("history loaded:" + newLocation);			
}