delete ---> PRODUCTION HOL



input number: