const char *REVISION="2.52";