function menu(id, onoff) {
		if (onoff) {
			$('menu_'+id).src='images/menu_'+id+'_red.png';
		} else {
			$('menu_'+id).src='images/menu_'+id+'_'+menucolor+'.png';
		}
	}