function do_jump(sAdr) {
	s = location.host;
	if (s=="pc032_jja") {
		location.assign("http://" + s + "/hjemmeside/" + sAdr.substr(6));
	} else {
		p = location.pathname;
		for (j=p.length; j>0 && !(p.substr(j,1)=="/"); j--) {
		} 
		if (j>0) {
			p = p.substr(0, j);
		}
		while (sAdr.substr(0,3)=="../") {
			sAdr = sAdr.substr(3);
			for (j=p.length; j>0 && !(p.substr(j,1)=="/"); j--) {
			} 
			if (j>0) {
				p = p.substr(0, j);
			}
		}
		location.assign("http://" + s + p + "/" + sAdr);
	}
}
function do_jump_abs(sAdr) {
	s = location.host;
	if (s=="moltke") {
		location.assign("http://" + s + "/wwwroot/" + sAdr);
	} 
	else {
		location.assign("http://" + s + "/" + sAdr);
	}
}