Me parece que no te he terminado de entender, k es lo que quieres, meter una variable PHP en el script? entonces deberás usar algo así
Código PHP:
Ver original<script ...>
document.location.href = "<?php echo $pagina; ?>";
</script>
Te he entendido bien, es lo que necesitabas?