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