procedure insert( new : tree; var pq : tree );
	begin
	new^.left := new;	new^.right := new;
	pq := merge( pq, new )
	end;