'; echo " window.location.href='$pagina'"; echo ''; ?>