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