fun i1(x,A,B)=if A=nil then B else if x<hd(A) then B@(x::A) else 
i1(x,tl(A),B@[hd(A)]);
fun insitr(x,A)= if A=nil then [x] else i1(x,A,[]);