char *version "@(#) Tue Nov 23 14:31";