char version[] = "Version 6.12 Thu Oct 1 22:03:04 EDT 1992";