/* No manual changes in this file */

static char rcsid[] = "$Id: version.c,v 1.7 2002/09/03 12:09:21 root Exp root $";