delete ---> HENKIN



input number: