function getSelectedValues (select) {
  var r = new Array();
  for (var i = 0; i < select.options.length; i++)
    if (select.options[i].selected)
      r[r.length] = select.options[i].value;
  return r;
}
function getSelectedTexts (select) {
  var r = new Array();
  for (var i = 0; i < select.options.length; i++)
    if (select.options[i].selected)
      r[r.length] = select.options[i].text;
  return r;
}
function getSelectedIndices (select) {
  var r = new Array();
  for (var i = 0; i < select.options.length; i++)
    if (select.options[i].selected)
      r[r.length] = i;
  return r;
}
function updateAction(theForm, str)
{
  var first = str.split(",")[0];
  if (theForm.action.toString().indexOf("theme=") < 0)
    theForm.action += ",theme=" + first;
  theForm.action = theForm.action.replace(/theme=.*$/, "theme=" + first);
}