Cotejamiento de Ej9_11.php