// JavaScript Document
function $(id){
	return document.getElementById(id);
}
function junchk(muid){
	for (i=1;i<=4;i++){
		if($("line_0"+muid).id=="line_0"+i){
			$("mu_0"+i).className="co017";
			$("line_0"+i).className="lv-12 mublock";
		}else{
			$("mu_0"+i).className="co018";
			$("line_0"+i).className="lv-12 munone";
		}
	}
}