$ $Id: set12,v 1.1 2001/03/18 19:06:36 christos Exp $
$ sh.dir.c
$set 12 
1 %s:    "%s"\n
