def get_page(url: String) : String = {+
−
  Try(Source.fromURL(url).take(10000).mkString).+
−
     getOrElse { println(s"  Problem with: $url"); ""}+
−
}+
−