function hideDefaultArrow(id) {
	// turn off the default arrow, if it exists
	default_arrow = document.getElementById('here-arrow');
	default_bg_image = 'url("/img/red_arrow_bullet.gif)"';
	if (default_arrow != null) default_arrow.style.backgroundImage = 'url("")';
}

function resetArrow() {
	if (default_arrow == null) default_arrow = document.getElementById('here-arrow'); // if it's not set, try to set it
	if (default_arrow != null) default_arrow.style.backgroundImage = ''; // sets the style to empty, so the css over-rides it
}