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