char *version = "ISES Version 1.1.5  (jfc Wed Apr  5 02:37 EDT 1989)";