/* _dict.cc 21/06/2000 12.15.14 */
/* gurus.tlcc 04/12/2000 13.38.12 */
/* network.tlcc 04/12/2000 13.38.12 */