// JavaScript Document
function buildJumpMenu(labels, locations){ 
	var html = "<select onchange='doMenuJump(this)'>";
	for(var i = 0; i < labels.split(",").length; i++){
		html += "<option value='"+locations.split(",")[i]+"'>"+labels.split(",")[i]+"</option>";
	}
	html+="</select>";
	
	return html;
}
function doMenuJump(obj){
	document.location.href = obj.options[obj.selectedIndex].value;	
}