$version = '$Id: bawt.pl,v 1.239 2001/07/09 04:29:39 dfraser Exp dfraser $';