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

function bn(obj){
	var objnum = obj.id.substring(1, obj.id.length);
	//alert(objnum)
	for(var i = 1; i <= 4; i ++){
		if(objnum == i){
			$$("a" + i).className = "ahover";
		}else{
			$$("a" + i).className = "bn4";;
		}
	}
}