char version[] = "Version 4.81 Mon Sep 26 08:36:28 PDT 1983";
