$http_date = time2str($timestamp);