python: simple timestamp string

For attaching a relatively unique string to a file name:

import time
>>> str(time.time()).replace('.','')[-8:]
'29107263'