function show_(object_) { document.getElementById(object_).style.display='block'; }
function hide_(object_) { document.getElementById(object_).style.display='none'; }
function clear_(object_)
{
  var listbox_ = document.getElementById(object_);
  while (listbox_.hasChildNodes()) { listbox_.removeChild(listbox_.childNodes[0]); }
}
function itemadd_(object_, text_, value_)
{
  var listbox_ = document.getElementById(object_); var opt_ = document.createElement("option");
  listbox_.options.add(opt_); opt_.value = value_; opt_.text = text_;
}
function itseladd_(object_, text_, value_)
{
  var listbox_ = document.getElementById(object_); var opt_ = document.createElement("option");
  listbox_.options.add(opt_); opt_.value = value_; opt_.text = text_; opt_.selected="selected";
}