// Use this function to jump user to another page

function JumpRedirect(strAddress) {
	try {
		if (strAddress != "") {
			//alert(strAddress);
			window.location.href=strAddress;
		}
	} catch(e) {}
}




// Add jump menu script -- uses JumpRedirect()

AttachJump = function() {
	try {
		var element = document.getElementById('JumpMenu');
		element.onchange = function(){JumpRedirect(element.value);}
	} catch(e) {}
}



if(window.addEventListener) { // gecko, safari, konqueror and standard
	window.addEventListener('load', AttachJump, false);
} else if(document.addEventListener) {  // opera 7
	document.addEventListener('load', AttachJump, false);
} else if(window.attachEvent) { // win/ie
	window.attachEvent('onload', AttachJump);
} else { // mac/ie5
	if(typeof window.onload == 'function') {
		var existing = onload;
		window.onload = function() {
			existing();
			AttachJump();
		}
	} else {
		window.onload = function() {
			AttachJump();
		}
	}
}