<?phpif(isset($_GET['url']) && !empty($_GET['url'])) { header('location: '.urldecode($_GET['url']));} else { header('location: /index.php');}?>