static public void printAUrl(URL theUrl)
    {
	if (theUrl.getPort() > 0)
	    System.out.println(theUrl.getProtocol() + "://" +
			       theUrl.getHost() + ":" +
			       theUrl.getPort() + 
			       theUrl.getFile());
	else if (theUrl.getProtocol().compareToIgnoreCase("mailto") == 0)
	    System.out.println(theUrl.getProtocol() + ":" +
			       theUrl.getFile());
	else 
	    System.out.println(theUrl.getProtocol() + "://" +
			       theUrl.getHost() + 
			       theUrl.getFile());
    }