$ $Id: set12,v 1.2 2002/07/01 20:50:22 christos Exp $
$ sh.dir.c
$set 12 
1 %s:    "%s"\n
