while (<FILE>) {
      $chosen_line = $_ if rand($.) < 1;
   }