....$_POST["searchterm"]=trim($_POST["searchterm"]);while (!feof($file) && strcasecmp($_POST["searchterm"],trim($linea))===0) { ....