function switchButtonValue(buttonId, originalText, newText)
{
  if (document.getElementById)
  {
    var button=document.getElementById(buttonId);
    if (button)
    {
      if (button.childNodes[0])
      {
			if (button.childNodes[0].nodeValue == originalText) {
				button.childNodes[0].nodeValue=newText;
			} else {
				button.childNodes[0].nodeValue=originalText;
			}
      }
      else if (button.value)
      {
			if (button.value == originalText) {
				button.value=newText;
			} else {
				button.value=originalText;
			}
      }
      else //if (button.innerHTML)
      {
			if (button.innerHTML == originalText) {
				button.innerHTML=newText;
			} else {
				button.innerHTML=originalText;
			}
      }
    }
  }
}