<!--
  // Clear prompt from username field, if required.
  function clearPrompt(elemName, prompt) {
    var e = document.getElementById(elemName);
    if (e.value == prompt) {
      e.value = "";
      e.style.color = 'black';
    }
  }

  // Set the prompt for the username field, if required.
  function setPrompt(elemName, prompt) {
    var e = document.getElementById(elemName);
    if (e.value == "") {
      e.value = prompt;
      e.style.color = 'grey';
    }
  }
// -->