void printTimeStamp(FILE *stream);