$id = $_GET['id']; $id = preg_replace('#[^0-9]+#', '', $id);