aive(s,t);