/* time stamp file */