delete ---> HOTSTUF
input number: