char *version_array[]={
	"@(#)Release 9.1.2 (revision 130)",
	"@(#)Sun Aug 12 23:28:24 IDT 2007",
	"@(#)",
	"@(#)code.c 9.13",
	"@(#)hoc.h 9.8",
	"@(#)hoc.y 9.21",
	"@(#)init.c 9.2",
	"@(#)math.c 9.5",
	"@(#)memory.c 9.2",
#ifdef MSDOS
	"@(#)gamma.c 8.1",
#endif
	0
};