void printftimestr(double epoch)
