function changeSeason(elt) {
	if (elt.value != 0) {
		document.getElementById('CRForm').submit()
	}
}
function changeCR(elt) {
	if (elt.value != 0) {
		document.getElementById('CRForm').submit()
	}
}
function clearText(thefield){
	if (thefield.defaultValue == thefield.value) {
		thefield.value = '';
	}
}
function initText(thefield){
	if (trim(thefield.value) == '') {
		thefield.value = thefield.defaultValue;
	}
}
function trim(str) {
	return (str.replace(/^\s+/g,'').replace(/\s+$/g,''));
}