function increaseFontSize() {
	var body = document.getElementsByTagName('BODY')[0];
	var size = window.getComputedStyle(body, null).getPropertyValue("font-size").replace("px", "");
	body.style.fontSize =  (++size) + "px";
}

function decreaseFontSize() {
	var body = document.getElementsByTagName('BODY')[0];
	var size = window.getComputedStyle(body, null).getPropertyValue("font-size").replace("px", "");
	body.style.fontSize =  (--size) + "px";
}

function gotoURL(field) {
	if (field.selectedIndex != 0) {
		window.location = field.options[field.selectedIndex].value
	}
}