if     ($filenum =~ /\d\d\d\d/) {$filenum = $filenum; }
        elsif    ($filenum =~ /\d\d\d/) {$filenum = "0$filenum"; }
        elsif    ($filenum =~ /\d\d/) {$filenum = "00$filenum"; }
        else     {$filenum = "000$filenum"; }