my $config_file_name;

if ($pro_box) {
  $config_file_name = 'pro_box_email_list.txt';
} else {
  $config_file_name = 'not_pro_box_email_list.txt';
}