Let's stick to the documented number of digits in CATVERSION, shall we?

src/include/catalog/catversion.h

@@ -37,7 +37,7 @@
  * Portions Copyright (c) 1996-2001, PostgreSQL Global Development Group
  * Portions Copyright (c) 1994, Regents of the University of California
  *
- * $Id: catversion.h,v 1.75 2001/05/14 21:59:19 momjian Exp $
+ * $Id: catversion.h,v 1.76 2001/05/15 00:00:15 tgl Exp $
  *
  *-------------------------------------------------------------------------
  */
@@ -53,6 +53,6 @@
  */
 
 /*							yyyymmddN */
-#define CATALOG_VERSION_NO	2001051403
+#define CATALOG_VERSION_NO	200105143
 
 #endif