function changeParam(){
	var f = document.getElementById('paramselect');
	if (f){	f.submit();	}
	return false;
}