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