wt(0,(0..7));wt(101);wt(1,(0..100)%100+1);