import io.Source

def get_page(url: String) : String = { 
  Source.fromURL(url)("ISO-8859-1").take(10000).mkString
}