delete ---> VERISCAPE
input number: