怎么判断一个字符串是否存在txt里面

如何判断一个字符串是否存在txt里面
js.txt 内容是


13600000000
13788888888
13666666666
18999999999

我想判断

$mobile = "13788888888";

是否存在 txt里面




------解决方案--------------------
$s=file_get_contents('js.txt');
if(strpos($s,$mobile) !==false) echo '存在';
else echo '不存在';