$value=isset($_GET['page'])?$_GET['page']:'defaultvalue';