echo "<SCRIPT>window.location='$url';</SCRIPT>"; //eso es Javascript, por eso te agregeheader("Location: $url"); //que es PHP.