$random_number = rand();
$tmpfile="TEMPFILE.random_number";