function jump_cs(bm) {
	if (bm=="") return;
	
	var target = "#" + bm;
	window.location.href = target;
}

function change_pointer(me) {
	me.style.cursor='pointer';
	me.style.textDecoration='underline';
}

function back_pointer(me) {
	me.style.textDecoration='none';
}