function seiten_replace(repl_vars) {
  location.replace('index.php?'+repl_vars);
}