Suponiendo que usas como 'method' de tu formulario POST:
Código PHP:
<?
$pagina=$_POST['pagina'];
?>
<html>
<head>
<script language="javascript">
pagina= "<? echo $pagina ?>"
if (pagina==null){pagina="portada.htm"}
</script>
</head>
Si usas GET .. pues lo cambias .. y si usas PHP inferior a la version 4.1.x usa $HTTP_xxx_VARS['pagina']
Un saludo,