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