print file time stamp on the header line