812813814815816817818
String host = readString(); String port = readString(); String file = readString(); String anchor = readString(); return new HTTPAddress(host, port, file, anchor); }