formated time string for file naming