function printUrl() {
    var url = window.location;
    url = encodeURI(url.toString());
    var maxLength = 35;

    var urlBlock = document.getElementById('url');
    if (urlBlock) urlBlock.title = url;

    if (url.length > maxLength) {
	var delta = url.length - maxLength + 1;
	var start = url.indexOf('/', 7) + 1;
	//var replace = url.substr(start, delta);
	//url = url.replace(replace, '…');
	var part_1 = url.substr(0, start);
	var part_2 = url.substr(start + delta);
	url = part_1+'…'+part_2;
    }
    document.write(url);
}