function select_changed() {
	document.getElementById('mag_select').submit();
}