// JavaScript Document

function $(objid){
	return document.getElementById(objid);
}

function dis_div(obj){
	//alert(obj.id.length);
	var objnum = obj.id.substring(1, obj.id.length);
	//alert(objnum)
	for(var i = 1; i <= 3; i ++){
		if(objnum == i){
			$("a" + i).className = "ahover";
			$("b" + i).style.display = "block";
		}else{
			$("a" + i).className = "";
			$("b" + i).style.display = "none";
		}
	}
}