function submitRender(render) {
    if (render == "") document.form1.action="/customize/";
    else document.form1.action="/customize/?render=" + render;
    document.form1.submit();
  }

  function submitRenderPrevious(render, renderprevious) {
    document.form1.renderprevious.value=renderprevious;
    submitRender(render);
  }

  function getsetstate(a, b) {
    var av = document.getElementById(a);
    var bv = document.getElementById(b);
    if (av.selectedIndex == 0) {
      bv.disabled=true;
    } else {
      bv.disabled=false;
    }
  }

  function submitURL(url) {
    document.form1.action=url;
    document.form1.submit();
  }