function initJumpList() {
   this[0] = "http://geodesy.spacecenter.dk/people.html";
   this[1] = "http://geodesy.spacecenter.dk/projects.html";
   this[2] = "http://geodesy.spacecenter.dk/index.html";
//   this[3] = "http://geodesy.spacecenter.dk/";
   this[3] = "http://www.spacecenter.dk/";
//   this[5] = "http://geodesy.spacecenter.dk/links.html";
   this[4] = "http://geodesy.spacecenter.dk/softserv/";
//   this[4] = "http://geodesy.spacecenter.dk/";
   return this;
}

var jump_list = new initJumpList();

function jumpHandler() {
   window.location.href = jump_list[document.jump.where.selectedIndex];
}

function prevGo()     { window.location.href = PREV;   }
function nextGo()     { window.location.href = NEXT;   }
function upGo()       { window.location.href = UP;     }
function topGo()      { window.location.href = TOP;    }
function searchGo()   { window.location.href = SEARCH; }

function prevShow()   { self.status = PREV; }
function nextShow()   { self.status = NEXT; }
function upShow()     { self.status = UP;   }
function topShow()    { self.status = TOP;  }
function searchShow() { self.status = SEARCH;  }

function commentGo()   { window.location.href = "mailto:"+OWNER; }
function commentShow() { self.status = "Mail a comment to the maintainer of this web page";  }
function back() {self.history.go(-1)}


/* BROKKER */

function CSURLPopupShow(formName, popupName, target) {
	var form  = CSFindElement(formName);
	var popup = form.elements[popupName];
	window.open(popup.options[popup.selectedIndex].value, target);
	popup.selectedIndex = 0;
}

function jHandler() {
   var URL = document.jump.where.options[document.jump.where.selectedIndex].value;
   window.location.href = URL;
}