"; echo "function open_window(fichero,nombre,rasgos) {"; echo "window.open(fichero,nombre,rasgos);"; echo "}"; echo ""; ?> "); print_r($HTTP_GET_VARS); echo $selelemento; echo(""); */ include('patron_busqueda.inc'); // EXTRA // echo $patron; ?>