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