;
                        eb = rb;
                        if ((eb != 0.000000)) 
                        {
                          return eb;
                        }
                        else
                        {
                          return 0.000000;
                        };
                      };
                    };
                  };
                };
              };
            };
          };
        };
      };
    };
  });
  l = (function ()
  {
    this.Tag = 9.000000;
  