Does this do anything? It doesn't seem to change the default behavior of @@id_counter=.