function url(domain,port,text) {
    var url = '<a href="http://' + domain ;
    if (port != "") {
        url += ':' + port ;
    }
    url += '">' ;
	document.write(url + text + '</a>');
}