// JavaScript Document

function jumpto(what) {
	window.location.href = what.options[what.selectedIndex].value;
}
var what = document.getElementById('jumpmenu');
var where = document.createElement('select');

var why = document.createElement('option');
why.value = '';
why.appendChild(document.createTextNode('-- Quick Links --'));
where.appendChild(why);

for(var who in what.childNodes) {
	why = document.createElement('option');
	if(what.childNodes[who].childNodes) {
		for(var myref in what.childNodes[who].childNodes) {
			if(what.childNodes[who].childNodes[myref].href) {
				why.value = what.childNodes[who].childNodes[myref].href;
				why.appendChild(document.createTextNode(what.childNodes[who].childNodes[myref].innerHTML));
				where.appendChild(why);
			}
		}
	}
}
where.id = what.id;
where.onchange = function changed() {jumpto(where)};
what.parentNode.replaceChild(where,what);