$linea) {
  // Match
  if (stripos($linea, $mac) !== false ) {
    if ($cuenta > 10) {
     die("...");
    }
    $encontrado = 1;
  }

  // Si linea vacia: cambio de parrafo, imprimir, etc
  if ($linea == "\r\n") {
   if ( $encontrado ) {
     // Imprimir el parrafo si toca
     for ($l = $origen; $l < $nlin; $l++) {
       print $tocho[$l];
     }
     echo "
";
     $cuenta++;
   }
   $origen = $nlin;
   $encontrado = 0;
  }
 }

// passthru("grep -A4 -- " . $_GET['mac'] . " oui.txt | /usr/bin/head -n 20 | sed 's/^--/
/'");