my $file;
  while(! $file){
    $file = <>;