delete ---> ESTEREL
input number: