while ( <FILE> ) {
   print if ( /^(1|3|4)/ );
}