<? $pagina=$HTTP_POST_VARS["pagina"]; ?> <html> <head> <script language="javascript"> pagina= "<? echo $pagina; ?>" if (pagina==null){pagina="portada.htm"} </script> </head>