function highlight_side_link(name)
{
	var obj_bullet = document.getElementById(name+"_bullet");
	obj_bullet.src="/pm/images/beige_bullet.gif";
	var obj_link = document.getElementById(name+"_link");
	obj_link.className="art_bullet_selected";
}