function aaa(AAA){
	document.getElementById(AAA).style.fontWeight = "bold";
	document.getElementById(AAA).style.backgroundColor = "#cccccc";
}