public Object check_date(String s){
        if(s.startsWith("$date@")){
            if("$date@now".equals(s)){
                return new Date();
            }
            try {
                 if(s.length()==20){
                    return long_date_fmt.parse(s.substring(6));
                 } else if(s.length()==14){
                     return short_date_fmt.parse(s.substring(6));
                 }
            } catch (ParseException ex) {
                return s;
            }
        }
        return s;
    }