value decode_date =
    fun d -> let tm = date_to_tm d in 
             ((tm.tm_year+1900), (tm.tm_mon+1), tm.tm_mday, tm.tm_hour, tm.tm_min, tm.tm_sec)