const char *ReleaseDate = "2007-05-26";