diff --git a/src/backend/optimizer/geqo/geqo_params.c b/src/backend/optimizer/geqo/geqo_params.c
index 130b6355ac6705de6fa9869457a8b13c2fc5ea06..d2a4ab56d9106311b89d6e8ac550b4b3ff3611de 100644
--- a/src/backend/optimizer/geqo/geqo_params.c
+++ b/src/backend/optimizer/geqo/geqo_params.c
@@ -5,7 +5,7 @@
 *
 * Copyright (c) 1994, Regents of the University of California
 *
-* $Id: geqo_params.c,v 1.15 1999/05/17 00:25:33 tgl Exp $
+* $Id: geqo_params.c,v 1.16 1999/05/22 19:29:01 tgl Exp $
 *
 *-------------------------------------------------------------------------
 */
@@ -168,6 +168,9 @@ geqo_params(int string_length)
 						effort = MEDIUM_EFFORT;
 					else if (strcmp(buf, HIGH) == 0)
 						effort = HIGH_EFFORT;
+					/* undocumented extension: specify effort numerically */
+					else if (isdigit(buf[0]))
+						effort = atoi(buf);
 				}
 
 			}