public int hours;
        public int mins;
        public int secs;
        public int hunds;
        public int timezone;
        public int tinterval;
        public int day;
        public int month;
        public int year;
        public int weekday;

        public void encode(NdrBuffer _dst) throws NdrException {
            _dst.align(4);
            _dst.enc_ndr_long(elapsedt);

        public int hours;
        public int mins;
        public int secs;
        public int hunds;
        public int timezone;
        public int tinterval;
        public int day;
        public int month;
        public int year;
        public int weekday;


        @Override
        public void encode ( NdrBuffer _dst ) throws NdrException {
            _dst.align(4);

    protected int resultDocIdsCacheSize = 20;

    protected String cookieName = "fsid";

    protected String cookieDomain;

    protected int cookieMaxAge = 30 * 24 * 60 * 60;// 1 month

    protected String cookiePath = "/";

    protected Boolean cookieSecure;

    protected boolean httpOnly = true;

    public String getUserCode() {

    /** The key of the message: Past Week */
    public static final String LABELS_facet_timestamp_1week = "{labels.facet_timestamp_1week}";

    /** The key of the message: Past Month */
    public static final String LABELS_facet_timestamp_1month = "{labels.facet_timestamp_1month}";

    /** The key of the message: Past Year */