tion.disabled = true;
          if (option.selected)
            obj.options[len-1].selected = true;
        }
        else {
          option.style.color = '';
          option.disabled = false;
        }
      }
      break;
    default:
      for (i=0; i<len; i++) {
        option = obj.options[i];
        option.style.color = '';
        option.disabled = false;
      }
  }
}
</script>
<script>
var ghttp;
function FormWPSAdd(buttName) {
  if (buttState[buttName] == 0)
    return;
  document.formu.action