It took a few extra weeks worth of work, but Yi Cao is reporting in the newsgroup that he broke the 13000 barrier. You may recall that Alan Chalker had suggested such a thing might well be impossible. Yi Cao is just the sort of person to find out if it couldn’t be done.
Hurray for Yi! That is a really great accomplishment!
Helen