Editing: Instanceof_.php