@begin(header)
author: ackerman=ag@ics.uci.edu
show_author: ShowNone
author_organization: MIT
node_expert: ackerman=ag@ics.uci.edu 
expiration_date: 02/11/94
last_modifier: ackerman=ag@ics.uci.edu
last_mod_date: 02/11/92
mod_num: 1
@end(header)
