Mine

<?php
$page = $_GET['page'];
$page = addslashes($page);


if (empty($page)){
$page = "idx";
}

?>