<!--

function makeBlinder(id, closed) {
  return function(event) {
    if(closed)
      Effect.BlindDown(id);
    else
      Effect.BlindUp(id);
    closed = !closed;
  };
}

function installBlinder(label_node, content_node) {
  label_node.onclick = makeBlinder(content_node, true);
}

function go(form, uri){
  form.action = uri;
  form.submit();
}

-->