<!--

function updateMessage(reveal,whichText) {
//  document.getElementById(whichText).childNodes[0].nodeValue = reveal;
  document.getElementById(whichText).innerHTML = reveal;
  // - note that for this to work, the div must already have a child node.  
  // - Otherwise, you'll get an error.
}

function revert(orig,whichText) {
//  document.getElementById(whichText).childNodes[0].nodeValue = orig;
  document.getElementById(whichText).innerHTML = orig;
  // - note that for this to work, the div must already have a child node.  
  // - Otherwise, you'll get an error.
}

// -->