function menu_button(btn,in_flag){
	if (in_flag){
		btn.style.borderColor='red';
		btn.style.color='red';
	} else{
		btn.style.borderColor='black';
		btn.style.color='blue';
	}
}