2002-01-03 Paul Eggert <eggert@twinsun.com>