import io.Source+− +− def get_page(url: String) : String = { +− Source.fromURL(url)("ISO-8859-1").take(10000).mkString+− } +− +− +−