/* $Id$ */
const char *ReleaseDate = "1998-10-12";