import io.Source+− +− def get_page(url: String) : String = { +− Source.fromURL(url).take(10000).mkString +− +− +−