my $file = "textfile.020701_00:08";
$file =~ s/\D//g;
my $time = $file . '.monday';
print $time;