#include "PatchLev.h"
static char Ident[] = "$Patchlevel: " PatchLevel " $";