#! /n/gnu/bin/sed -f
# Last edited on 2002-04-01 00:01:53 by stolfi
#
s:fgstyle-4:fgstyle-d:

