1 import io.Source

     2 

     3 def get_page(url: String) : String = { 

     4   Source.fromURL(url).take(10000).mkString  

     5 

     6 

     7