Index: trunk/Mars/datacenter/db/menu.php
===================================================================
--- trunk/Mars/datacenter/db/menu.php	(revision 9627)
+++ trunk/Mars/datacenter/db/menu.php	(revision 9896)
@@ -38,4 +38,6 @@
     printf("  </td><td>\n");
     PrintPullDown($host, $user, $pw, $db, "AtmosphericModel",     "fAtmosphericModelName",     "fAtmosphericModelKEY", "Atm. model");
+    printf("  </td><td>\n");
+    PrintPullDown($host, $user, $pw, $db, "CeresSetup",     "fCeresSetupName",     "fCeresSetupKEY", "Ceres setup");
     printf("  </td>\n");
 
@@ -1672,4 +1674,7 @@
         $_GET["fAtmosphericModelName"]="Off";
 
+    if (empty($_GET["fCeresSetupName"]))
+        $_GET["fCeresSetupName"]=$first?"On":"";
+
     if (empty($_GET["fNumEvents"]))
         $_GET["fNumEvents"]=$first?"On":"";