PHP - how to echo random lines as a list?

I have a text file of 100 lines of text, from which I want to display 5 random lines (after shuffle) as a list in a wordpress sidebar widget. Instead of <br> how can I display 5 lines as a list?

$lines = file("qz19.txt"); Shuffle($lines); Echo implode("<br>", array_slice($lines, 0, 5));