import io.Source def get_page(url: String) : String = { Source.fromURL(url).take(10000).mkString get_page("""http://www.inf.kcl.ac.uk/staff/urbanc/""")