Well, this is the first I've heard of the discrepancy and I had asked
the list owners to let me know. The system hasn't been restarted since
November 4 - the last time this happened. So this time a system crash
can't be a factor. I will try to check out the specific instance in more
detail now that I've heard about it. Thanks. Marty