function redirect(x) {
  if(x == "foo") {
    document.forms[1].reset();
    return;
  } else {
    top.location.href = x;
    document.forms[1].reset();
  }
}