$filenum = sprintf("%04d", $filenum);