procedure delinsert( new : RecordEntry; var r : RecordArray );
	begin
	r[1] := new;
	siftup( r, 1, n )
	end;