delete ---> EIFFEL SOFTWARE
input number: