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