function quicklinkjump (gohere) {	
	window.location = gohere;
}

function toggleallcats (onoff) {
	i=0;
	while (window.document.getElementById("settings").elements[i]) {
		if (window.document.getElementById("settings").elements[i].type == "checkbox") {
			window.document.getElementById("settings").elements[i].checked = onoff;
		}
		i++;
	}
}