Select Code to Download

$file_n = do_something_to_get_the_number();
$file_n++ while -e "$file_n.dat";