function get(eid) {return document.getElementById(eid);}
;
function swapHover(aRef,on,bId) {
	if ('undefined' == typeof bId) bId = '';
	var pId = aRef.parentNode.id;
	get(pId +'Hb').style.color = (on && bId!= document.body.id)?'#F00':'#000';
	get(pId +'Hb').style.backgroundColor = (on && bId!= document.body.id)?'#F00':'#000';
}
;