$ $Id: set12,v 1.1.1.2 2003/01/17 03:42:11 nicolai Exp $
$ sh.dir.c
$set 12 
1 %s:    "%s"\n
