
<!--
node = document.getElementById("archiveswitcher");
if(node){
	node.onchange=function() {
		document.location.href = this.options[this.selectedIndex].value;
	};
}
-->