hanoi: add disk number