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