top.location.href='$url';"; } else { header("Location: $url"); } exit; } ?>