{wt(0**.5);}