added a timestamp-filtering tool