$line = <FILE>;
$i=0;
$Count=0;
@Temp_array=0;

 while ($line ne "") {
                $_=$line;
	if (/MAN [0-9]+/ ||  /MAN: [0-9]+/ ) {
     	                $Temp_array[$i]=$&;
                     	 $_=$Temp_array[$i];
              		   if(/ [\d]*/)
                              		{
                                 $Bug_num_array[$Count]=$&;
                                 	}
		  $i++;
                   $Count++;
                       	}
  	$line = <FILE>;       
	}

close FILE;