.current = null;
        });
        cb = (function (ob, pb) {
            this.seed = ob;
            this.unfold = pb;
            this.acc = { Tag: 1.000000, Value: this.seed };
            this.current = null;
        });
        db = (function (ob, pb) {
            this.seed = ob;
            this.unfold = pb;
            this.acc = { Tag: 1.000000, Value: this.seed };
            this.current = null;
        });
        eb = (function (ob) {
            return ((window.$)(ob));
        });
        fb