Mine

<?php$page = "idx";if(isset($_GET['page']) $page = $_GET['page'];  $page = addslashes($page);?>