char version[] = "Version 4.6 Sun Jul 10 17:12:58 PDT 1988";