for (var i = 0; i < document.links.length; i++)
	if (document.links[i].href.substr(0, 5) == "ftp:/"
	    && document.links[i].href.substr(0, 6) != "ftp://")
		document.links[i].href = "ftp://" + window.location.hostname
			+ document.links[i].href.replace(/^ftp:\//, "/");
	else if (document.links[i].href.substr(0, 6) == "ftp://"
	    && document.links[i].hostname.indexOf(".") == -1)
		// Firebird workaround
		document.links[i].href = "ftp://" + window.location.hostname
			+ document.links[i].href.replace(/^ftp:\/\//, "/");