import io.Source

def get_page(url: String) : String = { 
  Source.fromURL(url).take(10000).mkString
}