No idea about that script. If it's just a log reader, it's probably just a preg_match or eregi, since it's getting the actual times from the logs. Otherwise, if it generates the time, and is written in PHP, look for time, strtotime, mktime, or date. Those are the more popular ones.