/banner.sh/1.2/Tue Jul  8 15:42:49 2003//
/ifread.sh/1.1/Fri Jun 27 22:55:19 2003//
/ifwrite.sh/1.1/Fri Jun 27 22:55:19 2003//
D
