#if ( /$fil/ ) if ( index($_,$fil,0) >= 0 ) # if ( ! /$fil/ ) if ( index($_,$fil,0) < 0 )