header("Location: https://example.com");
echo ' <a href="index1.php">page1</a>'; echo '<a href="page2.php">page2</a>';