Вывод рандомных строк из текстового файла на веб-страницу

Есть простая страница index.php

И файл lines.txt, в нем 1000 строк (в каждой строке предложение).

Надо при каждом открытии index.php выводить рандомно от 4 до 11 строк:

"Строка один. Строка двадцать два. Строка тридцать пять." и т. д.