MakeDatabaseEmpty
void MakeDatabaseEmpty ();
MakeDatabaseEmpty ();
MakeDatabaseEmpty ();
MakeDatabaseEmpty ();
MakeDatabaseEmpty ();
MakeDatabaseEmpty (); /* So that the new one gets loaded if used. */