char version[] = "Version 4.175 Fri May 1 00:06:12 EDT 1992";