1
import io.Source
2
3
def get_page(url: String) : String = {
4
Source.fromURL(url).take(10000).mkString
5
6
7