/* bserv1.cc 03/09/2001 00.01.36 */
/* bserv2.cc 03/09/2001 00.24.36 */
/* bserv3.cc 03/09/2001 00.01.36 */
/* bserv.cc 03/09/2001 00.23.44 */
/* _dict.cc 03/09/2001 00.19.46 */