/* * CODE REVISION NUMBER: * * The part after the first colon, except the last char, appears on the screen. */ char *rev = "$Revision: 6.8 $";