$file = time()."-$$.tmp";